"Overriding Methods" fully verified