Eugine_Nier comments on Rival formalizations of a decision problem