let
p_equal = predop
PRED
.
L_eq