let
p_neq = predop
PRED
.
L_neq