tailcalled comments on A Shutdown Problem Proposal