x\ne 3