Base classes and invariants