Signed-off-by: Jim Pryor <profjim@jimpryor.net>
So far so good. But what if we want to combine division with
other arithmetic operations? We need to make those other operations
So far so good. But what if we want to combine division with
other arithmetic operations? We need to make those other operations
-aware of the possibility that one of their arguments will trigger a
+aware of the possibility that one of their arguments has triggered a
presupposition failure:
<pre>
presupposition failure:
<pre>