left a redundant condition in