opposite of tautology math