diff --git a/source/Scrolls/CylinderScroll.mmt b/source/Scrolls/CylinderScroll.mmt
index e78d12a4e6bb54e8c09f058bdfc6f3398bea3813..3e3ff2548db7530c9a08fb7552d36a77e579bc0e 100644
--- a/source/Scrolls/CylinderScroll.mmt
+++ b/source/Scrolls/CylinderScroll.mmt
@@ -20,6 +20,21 @@ theory CylinderScroll =
          ❘ meta ?MetaAnnotations?description "The point directly above the point M"
         ❙
 
+        dME: Σ x:ℝ . ⊦ (d- M E) ≐ x
+         ❘ meta ?MetaAnnotations?label "dME"
+         ❘ meta ?MetaAnnotations?description "The distance from point M to point E, effectively being the Radius."
+        ❙
+
+        dMT: Σ x:ℝ . ⊦ (d- M T) ≐ x
+         ❘ meta ?MetaAnnotations?label "dBC"
+         ❘ meta ?MetaAnnotations?description "The distance from point M to point T, the height of the cylinder."
+        ❙
+
+        rEMT: ⊦ (∠ E,M,T) ≐ 90.0
+         ❘ meta ?MetaAnnotations?label "rEMT"
+         ❘ meta ?MetaAnnotations?description "A right angle between E, M and T, starting at E."
+        ❙
+
 
         
     ❚