dlthomas comments on Rival formalizations of a decision problem