diff git a/DOLterms.rdf b/DOLterms.rdf
index de42e38..430024c 100644
 a/DOLterms.rdf
+++ b/DOLterms.rdf
@@ 1079,8 +1079,8 @@ SubPropertyChain: isProfileOf o supportsSerialization
structured OMS that expresses a maximum approximant.

 axiom sentence
+
+ axiom
sentence postulated to be valid (i.e.\ true in every model)
@@ 2561,8 +2561,8 @@ of logic (model theory).
process of demonstraing that a sentence (or OMS) is the logical consequence of some OMS.

 theorem sentence
+
+ theorem
sentence that has been proven from other axioms and theorems