<> (dup ?x) (?x ?x done) <> hello bye (dup hello)