Va((a|y A a|z)<=>(a|x))