{ x = True } ∧ { y = Bool }