... idea, we have to impose some kind of language on it ... all force users, not just some, not just most, but every ... a symbol that’s already negated, the negation goes away. Negating ... in conditional logic territory. But, some usages do signal exactly that ...