Currently I find it difficult to make progress with proofs of loops and recursive functions, so I’ll be journaling here practice for motivation.

TODO: - http://www.cs.uofs.edu/~mccloske/courses/cmps144/invariants_lec.html - might be interesting to make sure all proofs are understood or finished. - practice proving both recursive and iterative versions of problems.