and Demonstrating Propositions; Advancing the Art of Discovery; Correspondence with the