Brain feels like mush, suffering DNS problems and desk is covered with proofs. This, however, makes today awesome.