Assertion, presumption and presupposition