Herbie counts #actualproof then comments on the difficulty in counting and playing at the same time.

Peter Retzlaff