Project(Extend(Extend(Extend({ }, ?x, rand() ), ?y, rand() ),
               ?notequal,
               (?x != ?y)),
        {?notequal, ?x, ?y})