Formal Mathematical Requirements (work in progress)