Mitchell_Porter comments on Proposal for making credible commitments to AIs.