Foundations of three-dimensional Euclidean geometry. (2020)