CVS difference for ai05s/ai05-0200-1.txt

--- ai05s/ai05-0200-1.txt	2010/10/22 00:51:58	1.2
+++ ai05s/ai05-0200-1.txt	2010/10/26 05:39:47	1.3
@@ -191,3 +191,14 @@
 Your wording seems good to me.
 
 ****************************************************************
+
+From: Edmond Schonberg
+Sent: Friday, October 22, 2010  10:18 AM
+
+Thanks for the check.  Intuitively the formal package functions like an instantiation
+(and at the implementation level this is how it works)  but that is never stated
+directly.  Therefore,  speaking about a legal set of actuals for a conceptual
+instantiation seems like the simplest way to describe what is going on. I'm sure
+this is just the zeroth approximation to the final wording!
+
+****************************************************************