[math-fun] Dodgson and non-euclidean geometry