Investigating Notions Of Proof door Keir Finlow-Bates