X ≠ P