What is the Goal of Checking?