The node you are looking for is at Understanding the invariants.