"Abstract Classes" fully verified