Davis_Kingsley's Shortform — LessWrong