Opps. Sometime there's a proof with no date