Euclid pioneered the concept of a mathematical theory developed from axioms by series justified proof steps. From outset there were critics and improvers. In this century use computers to check proofs for correctness sets new standard rigor. How does stand up under such an examination? And what exercise have teach us about geometry, foundations, relation logic truth?