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>