True ≡ True