Pre-Decimal Proofs