A ≡ B