Joint probability distribution — LessWrong