https://9lib.org/document/rz3wmleq-view-semantic-models-history-mathematics.html