| http://www.w3.org/ns/prov#value | - Many times, equations I have worked with have various kinds of symmetry, and many of those symmetries will carry through the equations as the argument develops.. this is, I presume, what produces a strong sense of rightness that I often feel as the steps progress.
|