Vanessa Kosoy comments on Formalising decision theory is hard