The substitutional criterion (ST) requires uniform substitution across ALL non-logical terms, not ju...