lets say you have a case-object and all parts of the code adds readers to it, Then at some point the case is closed and no one is supposed to read it any longer. Is there a smarter way than to get all reader from spiceDb and remove them. such as only allowing reader to read on cases that was also not related to a singleton "archived" object or similar?