Rethinking proof: With the Geometer's sketchpad · Study