The Type II Inner-Compass Theorem
Abstract The Type II Inner-Compass Theorem, like the Type I Inner-Compass theorem before it, deals with the question of ”Is what ought to be?” The Type II theorem answers in the affirmative. Furthermore, it is a response, and itself responds, to external negations. In other words, if one is left...