All x, and , and all y, and