corrected test stub for negation