5.7 Checking and Test