https://123dok.net/document/zwvd25gq-ordered-semiautomatic-rings-with-applications-to-geometry.html