  In general, then, the Principle of Identity Substitution seems to take the following form, where \(S\) is a sentence, \(n\) and \(m\) are names, and \(S(n)\) differs from \(S(m)\) only by the fact that at least one occurrence of \(m\) replaces \(n\):