Must the solution get a check from every verifier? — Turing Machine FAQ | RulesPal