Ben Pace, the Vacationing Vagabond comments on Formal Open Problem in Decision Theory