This is a link-post to what I wrote on LessWrong because I haven't gotten LaTeX rendering working here yet.