I'm not really following the logic of your argument, but one correction to: > it describes program K as itself having complexity of only 1 million K has lengt

I'm not really following the logic of your argument, but one correction to: > it describes program K as itself having complexity of only 1 million K has length 1M, not complexity 1M.