Re: [math-fun] Dodgson and non-euclidean geometry