An attempt to capture all 5 of the basic euclid's axioms. for his
geometry.