[deleted] comments on Rival formalizations of a decision problem