(x)% ≠ x
(x)% ≠ x