pro

Lookup

• https://en.wikipedia.org/wiki/Tautology_(language)
• https://en.wikipedia.org/wiki/Tautology_(logic)
• useful-redundancy