{=} ∧ { x = True }