Trapiche
Proofs and refutations, de Imre Lakatos · Trapiche