Email Record: Introduction to Non-Euclidean geometry