Zinovy Diskin wrote:

Okay, sketches are presentations of theories but Steve's claim was that they are not mathematical objects.

He didn't say that. He wisely said something much more cautious. Best, jb