Using Tools to Make Sense of Right Triangles