module late.

accumulate core.

% L-com
one (par P Q) (pair tau (par Px (Qx Y))) :- 
  one P (pair  (oo X Y) Px), one Q (pairx (ii X) Qx);
  one Q (pair  (oo X Y) Px), one P (pairx (ii X) Qx).