Pre-Decimal Proof Sets