Describir: Proofs, computers, and the a priori: Is there anything to fix?