Woke up early; studied a bit Shannon's Theorem Proof.

I'll be leaving in about half an hour to Zoltan.