Kolmogorov complexity
where formula_9 is the Kolmogorov complexity defined by of the prefix type. This formula_10 is the important quantity.