[jgable]

I suppose. My original comment should have been “doesn’t teach you how to program.” It would be great to do it the normal way first, then point out that it’s impossible to do without a contract of behavior in place, then start creating that instruction set and building up from there. It is in fact possible to program computers, so this method would teach what makes programming possible.