Oscar_Cunningham comments on Rival formalizations of a decision problem