https://123dok.org/document/oy8m06rz-abduction-generating-conjectures-dynamic-geometry-maintaining-dragging.html