cosmetics: nicer code for the negation table