even an ASI would defer to an even smarter version of itself. does this solve the problem of fully updated deference?