Rethinking Proof with the Geometer's Sketchpad Version 5 | lit.salon