https://1library.org/document/qmwekkwz-on-euclid-s-first-three-postulates.html