x ≡ y