Does a verifier check every criterion printed on its card at once? — Turing Machine FAQ | RulesPal