let
( <: ) p1 p2 = p1 |><| p2
&&
prece p1 p2