double-negative is hard to read, but fine in this case, I guess