Code changes: annotation on abstract proprietary