Friedman–Savage_utility_function loading ...