All x, and , and all y,