Main Assertion