Non-Euclidean Geometry, Spring 2023