<> ((?x -> ?y)) (<> ?x ?y) (foo -> bar) foo