cousin_it comments on Understanding and justifying Solomonoff induction