Coherent extrapolated dreaming — LessWrong