The Relationship Between S1 and S2 Is One of Non-Logical Identity

In order to get the real novelty between S1 and S2, I have to introduce something that's outside the logic of S1. But if it comes from outside of S1, it is foreign and strange, right? And therefore it, right, is not an act of self-creation. What that shows, Vodor's idea about you can't infer a stronger logic from a weaker logic, then goes back to a point we've made before, there is no inferential way. There's no way you can sort of infer yourself from S1 to S2. The relationship between S 1 and S2 is one of non-logical identity.