Text this: Tarski Geometry Axioms. Part IV – Right Angle.