proofs and refutations