Tautology checker done.