This statement is not a tautology