Leon Lang comments on The Coding Theorem — A Link between Complexity and Probability