my point is that it's just more for ensuring that spicedb is implemented correctly, not that a certain set of assumptions about your schema are or remain true