This article presents the rationale and the proposal of a preliminary architecture of a formal ontology of the Text Encoding Initiative markup language. The reasons to have a formal and machine-readable semantics for TEI are manifold. In the first place. it would have a number of pragmatic and technical benefits. https://steedaes.shop/product-category/steam-kit/