"Nikolai Ivanovich Lobachevsky, Professor of Mathematics at Kazan, was interested in the theory of parallels from at least 1815. Lecture notes of the period 1815-17 are extant, in which Lobachevsky attempts in various ways to establish the Euclidean theory. He proves Legendre's two propositions, and employs also the ideas of direction and infinite areas. In 1823 he prepared a treatise on geometry for use in the University, but it obtained so unfavourable a report that it was not printed. The MS. remained buried in the University Archives until it was discovered and printed in 1909. In this book he states that "a rigorous proof of the postulate of Euclid has not hitherto been discovered; those which have been given may be called explanations, and do not deserve to be considered as mathematical proofs in the full sense." Just three years afterwards, he read to the physical and mathematical section of the University of Kazan a paper entitled "Exposition succinte des principes de la géométrie avec une démonstration rigoureuse du théorème des parallèles." In this paper... Lobachevsky explains the principles of his "Imaginary Geometry," which is more general than Euclid's, and in which two parallels can be drawn to a given line through a given point, and in which the sum of the angles of a triangle is always less than two right angles."