Ramana Kumar comments on The Proof of Doom

[Ramana Kumar]

I don’t think so. A proof conditional on not taking any significantly different actions would be fine for this purpose.