You're absolutely right. Thanks for pointing that out. I was using theorem and proof as an analogy to illustrate the separation of specification and implementa

You're absolutely right. Thanks for pointing that out. I was using theorem and proof as an analogy to illustrate the separation of specification and implementation. A useful distinction as you get further along in writing formal specifications. Update: typo.