Before the test

It's only 3 hours before the test! Last week's lecture on loop invariance was a bit hard for me to follow, but it was fairly intuitive. I think I understand the concepts, but just need to touch up on the set of skills to express the concepts. However, I find it hard not to just memorize these... -.-