assuming Kolmogorov complexity