diff --git a/source/Scrolls/CircleScroll.mmt b/source/Scrolls/CircleScroll.mmt
index 811c5641adccee2fc14f29d30030894b7b8c221c..82861a91c6a4e1ae7545eba8975259a52a1fd797 100644
--- a/source/Scrolls/CircleScroll.mmt
+++ b/source/Scrolls/CircleScroll.mmt
@@ -16,6 +16,9 @@ theory CircleScroll =
                   ❘ meta ?MetaAnnotations?description "A point on the circle" ❙
         B : point ❘ meta ?MetaAnnotations?label "B"
                   ❘ meta ?MetaAnnotations?description "A point within the plane the circle should lie in." ❙
+        dMA : Σ x:ℝ . ⊦ (d- M A) ≐ x
+                  ❘ meta ?MetaAnnotations?label "dMA"
+                  ❘ meta ?MetaAnnotations?description "The distance from the Midpoint M to the edge point A" ❙
     ❚
 
     theory Solution =
diff --git a/source/Scrolls/SquareScroll.mmt b/source/Scrolls/SquareScroll.mmt
index 57371def4a40b7cc852e296f1535780cc18170be..ea84c9813c4ee2f4b1d683aaec075851c7d027cd 100644
--- a/source/Scrolls/SquareScroll.mmt
+++ b/source/Scrolls/SquareScroll.mmt
@@ -24,8 +24,18 @@ theory SquareScroll =
         ❙
 
         rC: ⊦ (∠ A,B,C) ≐ 90.0
-         ❘ meta ?MetaAnnotations?label "C"
-         ❘ meta ?MetaAnnotations?description "The third point"
+         ❘ meta ?MetaAnnotations?label "rC"
+         ❘ meta ?MetaAnnotations?description "A right angle between ABC, where B is the point enclosed by A and B"
+        ❙
+
+        dAB: Σ x:ℝ . ⊦ (d- A B) ≐ x
+         ❘ meta ?MetaAnnotations?label "dAB"
+         ❘ meta ?MetaAnnotations?description "The distance from point A to point B"
+        ❙
+
+        dBC: Σ x:ℝ . ⊦ (d- B C) ≐ x
+         ❘ meta ?MetaAnnotations?label "dBC"
+         ❘ meta ?MetaAnnotations?description "The distance from point B to point C"
         ❙
 
 
@@ -35,11 +45,12 @@ theory SquareScroll =
     theory Solution =
         include ?SquareScroll/Problem ❙
         meta ?MetaAnnotations?label "Square" ❙
-        meta ?MetaAnnotations?description s"Our Test scroll that given two points ${lverb P} and ${lverb Q} computes the Test of the line ${lverb P Q}." ❙
+        meta ?MetaAnnotations?description s"Scrolls that takes three points and given a right-angle fact between those points
+                                            and the distances from the first to the second and the second to the third point, constructs a rectangle." ❙
         ConstructedSquare : Square
                 ❘ = SquareCons A B C
-                ❘ meta ?MetaAnnotations?label s"Mid[${lverb P Q}]"
-                ❘ meta ?MetaAnnotations?description s"The Test between points ${lverb P} and ${lverb Q}."
+                ❘ meta ?MetaAnnotations?label s"Square"
+                ❘ meta ?MetaAnnotations?description s"The constructed Square."
         ❙
     ❚
 ❚
\ No newline at end of file