if(trackingNum != null){ } White Paper: A New Approach to System Verification