tough-to-explain Python

[Paul Rubin]

Calroc <forman.simon at gmail.com> writes:
> I'm engaged presently in starting a school to teach programming from
> the ground up, based roughly on the curriculum outlined in the article
> I mentioned. ...
> I'm excited about formal methods because one, I just heard about them,

Formal methods are a big and complicated subject.  Right after you
heard about them is probably not the best time to start teaching them.
Better get to understand them yourself first.