let x = ({ foo = 1 } ∧ { bar = 2 }) with bar = 3 with foo = 4 in x