--- ais/ai-00298.txt 2003/03/04 04:56:23 1.5 +++ ais/ai-00298.txt 2003/05/24 00:51:40 1.6 @@ -92,7 +92,7 @@ is only a permission, not a requirement and hence is weaker than the earlier proposal. -!examples +!example !corrigendum D.2.4(01)