The shortcomings of traditional practices of peer review...

The shortcomings of traditional practices of peer review become evident when applied to complex computer-assisted proofs.