BTW, I not too long ago worked on GCP IAM. Super excited to see an open source version of Zanzibar. Especially directly facing the consistency challenges without Spanner.