Solomonoff's_theory_of_inductive_inference loading ...