How do you work out which criterion a verifier with several options is checking? — Turing Machine FAQ | RulesPal