From Harklist Best of Proof