Experimental Approaches to Theoretical Thinking: Artefacts and Proofs