TLW comments on Seek Mistakes in the Space Between Math and Reality

[TLW]

Third option:

foreach proof in <some search algorithm over possible proofs> {
switch examine(proof) {
case PROOF_OF_DEFECTION: Defect
case PROOF_OF_COOPERATION: Cooperate:
default: continue
}
}

(Kindly ignore the terrible pseudocode.)