Tautology (logic) (source code)

= Tautology (logic)
{wiki=Tautology_(logic)}