Common rule of replacement in propositional logic.
Statement which repeats the same idea, using near-synonymous morphemes, words, or phrases.