negation can be a more expensive operation, becaus...
# spicedb
y
negation can be a more expensive operation, because you typically need to resolve the entire set on the left of the negation before you can be sure of the contents of the set represented by the whole expression