Hello everyone! I am new to SpiceDB, trying to understand some theory beneath it. Particularly, I can't get my head around the example at https://authzed.com/blog/prevent-newenemy-cockroachdb#is-a-new-enemy-possible It is said: > However, the rows written to in T1 and T2 do not overlap. This means that cockroach could assign timestamps such that T2 < T1. In this case, the check in 3 will succeed But if T2 < T1 and we check at snapshot T2 we observe the relation

resource:thegoods#excluded@user:me

and check will fail too. What am I doing wrong here?

Nice catch! That's a typo that we will get fixed. The correct order is in github: https://github.com/authzed/spicedb/tree/main/e2e/newenemy - though that's a little out of date, we use an extra layer of indirection through allow/denylists in the test now.