abramdemski comments on Formalising decision theory is hard