where all is defined such that it always computes
# spicedb
y
where all is defined such that it always computes