-[This bind is a simplified version of the careful `let a = u e in ...`
-constructions we provided in earlier lectures. We use the simplified
-versions here in order to emphasize similarities of structure across
-monads; the official bind is still the one with the plethora of `let`'s.]
+[This bind is a condensed version of the careful `let a = u e in ...`
+constructions we provided in earlier lectures. We use the condensed
+version here in order to emphasize similarities of structure across
+monads.]