If-Then Commitments for AI Risk Reduction [by Holden Karnofsky] — LessWrong