Shmi comments on Rival formalizations of a decision problem