Yeah, I agree; I wanted a clear intuition pump for at least the first step and it seems pretty hard to demonstrate both at once in a way that people will find convincing.
Yeah, I agree; I wanted a clear intuition pump for at least the first step and it seems pretty hard to demonstrate both at once in a way that people will find convincing.