Short project explaining invariants