"A writer who clearly saw the fallacy under the constant distance assumption was Girolamo Saccheri, S. J., whose 'Euclides ab omne naevo vindicatus' [Euclid Freed of Every Flaw]... in 1733, marked perhaps the most important single step in advance ever taken in the attempt to solve the parallel difficulty. This careful logician undertook to prove the correctness of Euclid's postulate by showing that when it is replaced by another, a contradiction is sure to arise."