{ foo = (False && Natural/even (1 + 2 * 3)) || True == False != True } ∧ { bar = [ "ABC" ++ "DEF" ] # [ "GHI" ] } ⫽ { baz = True }