rec :: ( (x or y;rec) |${x,z} (z || (p |${p,q} q) ) )
