Changes

All in all, the original formula serves well enough as a sigil, a wholly symbolic annotation, and so it can be allowed to rest at the top of the current phase of work, but if this semblance of an equation is intended to make sense in a less arbitrary, a more articulate, and a less occult fashion, then it will have to be given a more practical meaning, in terms that can guide the actual conduct of inquiry.

All in all, the original formula serves well enough as a sigil, a wholly symbolic annotation, and so it can be allowed to rest at the top of the current phase of work, but if this semblance of an equation is intended to make sense in a less arbitrary, a more articulate, and a less occult fashion, then it will have to be given a more practical meaning, in terms that can guide the actual conduct of inquiry.

The work up to this point pushes the discussion of formalization as far as it can go in a certain direction, at least, for now.  While maintaining this discussion, it is time to step back, to recall the broader context in which formalization takes place, and thus to enter on a discussion of the inquiry that this process of formalization is initially meant to serve. <math>y_0 = y \cdot y >\!\!= y \cdot \{ d, f \} >\!\!= y \cdot \{ d \}</math>.

The work up to this point pushes the discussion of formalization as far as it can go in a certain direction, at least, for now.  While maintaining this discussion, it is time to step back, to recall the broader context in which formalization takes place, and thus to enter on a discussion of the inquiry that this process of formalization is initially meant to serve.

 

| align="right" | <math>y_0 = y \cdot y >\!\!= y \cdot \{ d, f \} >\!\!= y \cdot \{ d \}</math>

----

----