Better negation reduction

Signed-off-by: Rick Taylor <rick@tropicalstormsoftware.com>