Spenser N comments on A Proof Against Oracle AI