it calls out in the blog post that it's pseudocode
# spicedb
y
it calls out in the blog post that it's pseudocode