removed tautological assert