Tautology must be tautology.