Designing for Invariant Safety - Invariants In Inheritance | OneNoughtOne