{ x = { a = True } } ∧ { x = { b = True } }