tautology examples