<> (?x dup) (?x ?x) <> (?x ?y swap) (?y ?x) (1234 dup)