Loop invariants

We introduced loop invariants and the four "loopy questions":

We applied this to developing pseudocode for heap insertion and removal, as well as binary search