Ben Pace comments on Formal Open Problem in Decision Theory