On Moore's Notion of Proof. Issue 3 (30th April 2020)