asr comments on My summary of Eliezer’s position on free will

[asr]

I meant to minimize in terms of asympototic time or space complexity, not length-of-program.