Eugine_Nier comments on Understanding and justifying Solomonoff induction