Optimum Checking Procedures