Cotoya (proofs)