Castillo | Proofs