Proposal for making credible commitments to AIs. — LessWrong