Is a puzzle with six verifiers harder than one with four? — Turing Machine FAQ | RulesPal