assert : x ≡ y