peer review: <Mitchell Weingust Team 22> Critical Portion of the Document Not Formalized

[mitcholll]

artifact under review.

Design Document

team number (for the team doing the review).

Team 22

description of issue.

One of the requirements for the design document is to formalize an important part of the document, using correct mathematical notation.
The closest to formal mathematical notation I could find is under the MIS of Inference Module section, with Exported Access Programs and State Variables, however, neither were using correct mathematical notation.

For example, 'JSON(tasks = [task_1, ..., task_n) where task_i = id' could be expressed as: tasks = {task_i | task_i = id ∧ 1 ≤ i ≤ n}.

I suggest modifying the MIS of Inference Module section to incorporate formal math notation to meet the criteria.

@CSchank