solipsist comments on How does MIRI Know it Has a Medium Probability of Success?