<> (?x dup) (?x ?x) foo (hey dup)