x ∧ {=} ∧ ({=} ∧ b)