I thought it was an auto-substitution, but it turned out to be just TP