As before the superscripts on the name stand for the components that are discharged: the term a cannot occur in the conclusion of ???I (such terms are known as eigenvariables or parameters), and the hypotheses named u and v in ???E are localised to the second premiss in a hypothetical derivation.