4520

1 files changed, 3 insertions, 3 deletions

diff --git a/html/subx/029transforms.cc.html b/html/subx/029transforms.cc.html
index 174ba00a..0a9ed032 100644
--- a/html/subx/029transforms.cc.html
+++ b/html/subx/029transforms.cc.html
@@ -105,10 +105,10 @@ if ('onhashchange' in window) {
 <span id="L50" class="LineNr">50 </span><span class="Comment">//:   representation by showing how it's transformed to the level below. To</span>
 <span id="L51" class="LineNr">51 </span><span class="Comment">//:   make such exceptions more obvious checks usually won't be first-class</span>
 <span id="L52" class="LineNr">52 </span><span class="Comment">//:   transforms; instead code that keeps the program unmodified will run</span>
-<span id="L53" class="LineNr">53 </span><span class="Comment">//:   within transforms before they mutate the program.</span>
+<span id="L53" class="LineNr">53 </span><span class="Comment">//:   within transforms before they mutate the program. As an example:</span>
 <span id="L54" class="LineNr">54 </span><span class="Comment">//:</span>
-<span id="L55" class="LineNr">55 </span><span class="Comment">//:     Level l transforms programs</span>
-<span id="L56" class="LineNr">56 </span><span class="Comment">//:     Level l+1 inserts checks to run *before* the transform of level l runs</span>
+<span id="L55" class="LineNr">55 </span><span class="Comment">//:     Layer l introduces a transform</span>
+<span id="L56" class="LineNr">56 </span><span class="Comment">//:     Layer l+1 adds precondition checks for the transform</span>
 <span id="L57" class="LineNr">57 </span><span class="Comment">//:</span>
 <span id="L58" class="LineNr">58 </span><span class="Comment">//: This may all seem abstract, but will hopefully make sense over time. The</span>
 <span id="L59" class="LineNr">59 </span><span class="Comment">//: goals are basically to always have a working program after any layer, to</span>