Nice, I like this proof also. Maybe there’s a clearer way to say thing, but your “unrolling one step” corresponds to my going from u to v. We somehow need to “look two possible worlds deep”.
Nice, I like this proof also. Maybe there’s a clearer way to say thing, but your “unrolling one step” corresponds to my going from u to v. We somehow need to “look two possible worlds deep”.