Checking machines which could be used to correct the student