Before revision: Somonomoff himself proved that this induction is incomputable, so would not be usable in practice .
After revision: Solonomoff himself proved that this induction is incomputable, but noted that "this incomputability is of a very benign kind", and that it "in no way inhibits its use for practical prediction" .