Fantastic post.

No real conclusions, but interesting nonetheless.

The “current run”/“all runs” analogy between CS and modal logic is great, and I’m going to be thinking about this more in some of my own projects.