removed tautological condition