All x, , , and