Hi Mike, I am having some difficulty understanding the syntax of arrays vs. elts. In the JSR 308 proposal, B.3 illustrates ARRAY.IN with the following: > The type of elements of @A Object[@B][@C] is @A Object[@C]. Is that true? Or is the component @A Object[@B]? I think the latter is more in the spirit of P1. - Mahmood