All x, and