True ∧ {=}