Mitchell_Porter comments on Estimating the kolmogorov complexity of the known laws of physics?