you also might be able to ask your question in office hours and talk to one of the spicedb folks 🤔