We should add a concept of point reflection, and also some related thms.
We should add a concept of point reflection, and also some related thms.