<> (copy ?a) (?a ?a) <> (swap ?x ?y) (?y ?x) (copy cat) (swap bat rat)