[Wil]

He can’t have abridged it on the spot, because he performed the final two permutations, not the first two. I therefore conclude that your second paragraph is entirely composed of irrefutable truth.