show/hide this revision's text 1 [made Community Wiki]

Wiki also says:

A famous network of conditional proofs is the NP-complete class of complexity theory