added tautology deletion