> > CONJECTURE: bE is recursively isomorphic to (a different coding of) bE. > Sorry, I meant CONJECTURE: bE (beta-efficient theories) is recursively isomorphic to R (Kolmogorov random strings)