Inheritance and invariance