how does double negative work