CVS difference for ai05s/ai05-0111-3.txt

--- ai05s/ai05-0111-3.txt	2011/08/17 00:24:11	1.15
+++ ai05s/ai05-0111-3.txt	2011/09/29 06:34:01	1.16
@@ -822,8 +822,8 @@
 Mark and Release, the following is a possible use:
 @dby
 As usual, a derivative of Root_Storage_Pool may define additional operations.
-For example, [presuming that]{consider the} Mark_Release_Pool_Type {defined in
-13.11.6, that} has two additional operations, Mark and Release, the following is
+For example, consider the Mark_Release_Pool_Type defined in
+13.11.6, that has two additional operations, Mark and Release, the following is
 a possible use:
 
 !corrigendum 13.11(39/1)