I'd also take $7 trillion — LessWrong