The (ST) criterion, as standardly interpreted, applies to term-replacement across a fixed logical sy...