Lukas Finnveden comments on Formalising decision theory is hard