made tSSubstAux more concise, so that parts of it can be put on slides