"Classes and Objects" fully verified