The second stage means we have assumed there are no non-shared intuitions. The fourth stage just established that the set of stipulatively shared intutions isn’t empty.
The second stage means we have assumed there are no non-shared intuitions. The fourth stage just established that the set of stipulatively shared intutions isn’t empty.