--- ai05s/ai05-0183-1.txt 2011/03/17 05:21:39 1.20 +++ ai05s/ai05-0183-1.txt 2011/03/17 07:06:29 1.21 @@ -53,7 +53,7 @@ !summary To support the specification of pre- and postconditions, -as well as invariants on types and object, +as well as invariants on types and objects, we propose a general notation for specifying "aspects" of an entity as part of its declaration, rather than with a separate aspect clause.