Section 5.5 step 6 - The text of step 6 reads "If in any of the previous steps a [new subject] was set to a non-null value, it is now used to provide a subject for type values;". This is somewhat misleading. By the time step 6 is reached, there will ALWAYS be a [new subject]. What this step is really about is that if there is an @typeof attribute, it is used to define the types for the [new subject]. This is clearly described in the explanatory text.