test stub for negation