<> (copy ?x) (?x ?x) (copy ABC)