Conceptual Change in Non-Euclidean Mathematics