Negation of doubt, the equation of humans, subtraction is hard