_:a :z _:b .
_:b :y _:a .