Another two additional axioms, guarantee a) that R is a division ring and b) that R acts regularly on translations of the same direction, i.e. that if ??1 and ??2 have the same direction, then ??1 is sent to ??2 by some element of R. These axioms are: 4a.