One of the most remarkable and beautiful theorems in coding theory is Gleason's 1970 theorem about the weight enumerators ...