if(trackingNum != null){ } Self Verifying Data: Testing without an Oracle