'HdTlPure'(p1,p2,p3,p4). % left proj., right proj., individuals, empty tuple