Task: Linguistic Probing
Input (English): He needed to keep studying , though , to make sure he had those formulas down pat .
Output (English): Original