The Non-Euclidean Revolution