PROOFS AND REFUTATIONS