(Note: Please excuse my lack of a symbolic logic font. LaTeX doesn’t suit my preferences.)
(If you haven’t read the first three parts of this series, you’re just asking for a spanking. Go
here.)
Firstly, I must point out that we are, at this time, dismissing defining the final term in the generator: U, save to say that it, through a complexity requiring its own chapter , for now will be put as “that which is good, right or true” and specifically not the opposite. If you prefer you may think of U, for now, as being generally positive and ~U as being generally negative. U stands for eudaemonia.