{=} ∧ True