[what] problem71
[what] refine problem71
[what] refine function: phi
[what] problem72
[what] problem73
[what] problem74