Moore's Proof and Martin Davies's epistemic projects