FinalFormal2 comments on Could we set a resolution/​stopper for the upper bound of the utility function of an AI?