Tautology follows