Explorations in Non-Euclidean Geometry 2009