hi, there's a copy typo on https://authzed.com/spicedb -- "The data used to calculate permissions have the most critical correctness requirements in the entirety a software system."