Hope I can pin down a date for these proofs, also anyone ever hear of him?