If denial is a primitive speech act coordinate with assertion, the negation introduction rule gains ...