Take geometry sketchpad, for example, it was discussed its advantages-effectively graphing, geometry-inquiring and the necessity of proof-experiencing.