Drop unneeded criterion.