FinalFormal2 comments on Just don’t make a utility maximizer?