[nhc-bugs] negate problems?