Assertion Defined Definition Math