Update assertion.md