When Did Proof Sets Start