This event has to be in S or else in some probabilistic extension of S.
Press the back button on your browser to go back to the post