CE-413 simplifying negations for clearence, adding comments