Invariants should be well-formed formulas, that is, they should be logical statements (with a truth-value--true, of course), in the predicate calculus or rigorous English. A good invariant is a ...

It's pretty hard to answer that question without knowing what you already know. If I had to give just one thing, that thing would be loop invariants. Understand that when you write a loop, you ...