Title: Assertion and assumption