@myronmarston moved negation to it's own file