Worked through the second Hoare logic module.
Preparing to start on Hoare logic system for C or Java.
This will probably involve using the existing Hoare system and extending it.
Some additions may be arrays, function calls?, fixed-width integers, etc...