https://123dok.org/document/nq72e1rz-discernment-of-invariants-in-dynamic-geometry-environments.html