The term test was not what I was expecting. The pre/postcondition question was fair and it was great practice for really learning the material. The rest was straightforward excluding the last part of number two. That question definitely took me the longest to solve and it stumped me for a bit. But eventually I got it and it was a clever solution. Class afterwards was a bit tedious considering we had just written a test, but I stayed and learned some new things about iterative correctness. I am really looking forward to moving into learning about finite state automate and formal languages. It seems like really interesting subject matter.