All x, and all y,