diff --git a/source/Scrolls/PyramidScroll.mmt b/source/Scrolls/PyramidScroll.mmt
index f012b3a0daffe4efdc80a3f948653f194e3ce708..c486a6880ac0d1b5ec93182478beb4c6b574cd79 100644
--- a/source/Scrolls/PyramidScroll.mmt
+++ b/source/Scrolls/PyramidScroll.mmt
@@ -6,8 +6,8 @@ theory PyramidScroll =
     meta ?MetaAnnotations?solutionTheory ?PyramidScroll/Solution ❙
 
     theory Problem =
-        T: Rectangle
-            ❘ meta ?MetaAnnotations?label "T"
+        R: Rectangle
+            ❘ meta ?MetaAnnotations?label "R"
             ❘ meta ?MetaAnnotations?description "Rectangle"
         ❙
         D: point
@@ -22,8 +22,8 @@ theory PyramidScroll =
         meta ?MetaAnnotations?label "Pyramid" ❙
         meta ?MetaAnnotations?description "Scrolls that takes a rectangle and a points and constructs a Pyramid." ❙
 
-        ConstructedPyramid : pyramidType
-                ❘ = (pyramidCons T D)
+        ConstructedPyramid : Pyramid
+                ❘ = (PyramidCons R D)
                 ❘ meta ?MetaAnnotations?label "Pyramid"
                 ❘ meta ?MetaAnnotations?description "The constructed Pyramid."
         ❙