https://tongfamily.com/2008/01/09/geometry-sketchpad/