Charlie Steiner comments on Formal Open Problem in Decision Theory