Exploring the Territory Before Proof: Student‘s Generalizations in a Computer Microworld for Transformation Geometry · Study