Update Assertion.md