tom4everitt comments on A Shutdown Problem Proposal