starting work on mathAssertionDeclarations