<> (dup ?x) (?x ?x) (dup (123))