Remove tautology