All x not equal to 3