let p_neq = predop PRED.L_neq