These principles depend either on the dimension (e.g., scope constraints in flat semantics), the target formalism (e.g.
for instance, the semantic index s in the tree for runs is unified during substitution with the semantic index j labeling the root node of the tree for John.