don't doco the fns used to power negation