Loop Invariant

You know I actually prefer to use pico, but I think that my lectuers in future semesters might die If I told them this, so I'm trying (again) to get into Vi through it's friend in drag Vim, or more specifically Vim with a purdy aqua interface, we'll see how it goes this time
:q