Remove tautological assert