EXPERIMENTAL MATHEMATICS AND THE TEACHING AND LEARNING OF PROOF