cousin_it comments on Am I understanding the problem of fully updated deference correctly?