The Goal of Checking