remove an old assertion