{ foo = 1 } ∧ { bar = Text }