Ben Pace comments on Formalising decision theory is hard