Elementary mathematics from a higher standpoint : volume II: geometry (2016)