Thanks! I also wrote up my proof in another comment, which should help triangulate intuition.
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”.
Thanks! I also wrote up my proof in another comment, which should help triangulate intuition.
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”.