"Inheritance" fully verified