@ -613,7 +613,7 @@ Restricting things to scripts that are guaranteed to be satisfiable in a non-mal
<p>
When analysing Miniscripts for resource limits, restricting yourself to just non-malleable solutions (or even non-malleable scripts) also leads to tighter bounds,
as all non-canonical satisfactions and dissatisfaction can be left out of consideration.
as all non-canonical satisfactions and dissatisfactions can be left out of consideration.