AAHL 1.15.9 Use of counterexample