Tymoczko's view is contested, however, by arguments that difficult-to-survey proofs are not necessarily as invalid as impossible-to-survey proofs.
An argument along similar lines is that case splitting is an accepted proof method, and the Appel-Hacken proof is only an extreme example of case splitting [REF].