Luke_A_Somers comments on Understanding and justifying Solomonoff induction