SpiceDB is an open source, Google Zanzibar-inspired, database system for creating and managing security-critical application permissions.

SpiceDB

and `-` actually has higher: here `a - b + c` means `(a - b) + c`

Ah. I misread the system visualization. It's consistent with what you described. However the evaluation seems to treat `a - b + c` as `a - (b + c)`? Otherwise the assertions should pass?

<@444996680530657281> saw the issue https://github.com/authzed/spicedb/issues/1572. So it's actually the visualizer is incorrect. I guess that means + does have higher precedence over -? What about &?

if they aren't necessary, the formatter will remove them