Removing a redundant condition