Noisy-channel_coding_theorem loading ...