What does short-circuiting mean here? Is it if you have X || Y and you find a path in X, you don't need to check Y? I.e., SpiceDB is more efficient for permission checks?