Published 2017-08-29T01:45:00.002Z by Physics Derivation Graph
To check whether a step was implemented correctly, the question is, "given the input expressions (and feeds), do the output expressions conform to the transform prescribed by the inference rule?"