Stuart_Armstrong comments on Formal Open Problem in Decision Theory

[Stuart_Armstrong]

Yes, you’re right.