What is checkRep?

What does it do?

What are 'invariants'?

From Udacity's Software Testing course -- Unit 1.