Describir: Proofs and refutations/