Slides : The number of 4-colorings of the Hamming cube (AMS sectional meeting)