<> (dup ?x) (?x ?x) <> (?x ?y swap) (?y ?x) ((hey) (there) swap)