Mary Shepherd on the role of proofs in our knowledge of first principles · Study