No more double negative on BENCH