non-Euclidean geometry is a disappointingly boring subject.