if(trackingNum != null){ } COQ Improvements Can Be Expressed As Productivity Improvement Gains