Proof, Explanation and Exploration: An Overview · Study