Chris_Leong comments on Formalising decision theory is hard