What does a cross (X) from a verifier tell you? — Turing Machine FAQ | RulesPal