Honoring Petrov Day on LessWrong, in 2020 — AI Alignment Forum