question about the

-

operator -- if your permissions is defined as

permission p = x - y

, I get that you cant short circuit early once you've found a path in

x

because you still have to compute

y

and diff. Am I correct in reasoning that the computation for

y

is done in parallel, and that the performance hit of diffing

y

is roughly proportional to the size of

y

?