* failing negation test