The substitutional criterion (ST) requires validity across all substitutional instances of the relev...