--- ai05s/ai05-0013-1.txt 2006/06/22 03:05:35 1.2 +++ ai05s/ai05-0013-1.txt 2006/06/23 00:47:18 1.3 @@ -40,7 +40,9 @@ !recommendation -(TBD.) +Change the No_Nested_Finalization check to disallow aggregates of nested +access types which designate types that need finalization, and delete the +coextension rule from the definition of "needs finalization". !wording