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