{ x = { y = 1 } ∧ { z = 1 } }