Investigating Notions Of Proof by Keir Finlow-Bates