The use of this vertical dimension is more important when we indicate different conditions for different substitutable equivalences of a variable. These different conditions are always indicated by the sequential variables which appear on the same horizontal level as the substitution in question. - Harris (1951), a pag.350