If Many-Worlds Had Come First — LessWrong