Manfred comments on AI “Boxing” and Utility Functions