Am I understanding the problem of fully updated deference correctly? — LessWrong