Title: Assertion, negation and contradition