See the "supposition of infallible foreknowledge" bit.
No. It's not an assumption. There is no "assumption" in what I posted above.
The supposition is "infallible foreknowledge." This is what we're testing, to see what the logical conclusion of it is.
The logical conclusion is, based on the...