Mathematicians do not know in advance if their assertions are true, so they need to verify assertions with rigorous proofs or produce counterexamples, then attempt to salvage the assertions by... This description may be from another edition of this product.