Little more context for cnot-bad.java.