Acumen [TODO]

For the paper:

(1) the formal definition of normalization,
(2) the formal semantics,
(3) a clear statement of the theorem(s) that you have,
(4) the proof that you have.

For the implementation:
(1) About Equation Format
I don't like the fact that the equations in PhyDL have (1/m1 * ...). In particular, this introduces division, which the original system did not have. Also, it is notationally different (and heavier) than the original system. Can we extend pre-processing to allow constant factors on the left-hand-side?
In the future, also, I would like us to explore more general questions, where, for example, we can always simply write equations in the form "0 = ...", which is how engineers generally write their force equations.

(2) About Precision
I (and an CS/PL reader would) see from this example is that the simulation parameter suggest that you probably don't provide very strong guarantees about accuracy. In particular, the fact that you specify a step-size suggests that this is a low-level specification for a simulation. When we are finally doing high-fidelity simulation, I would expect to see that a simulation run is specified in terms of the accuracy of the result, not how the engineer thinks the simulation ought to be run.