assert : x ≡ y
