1 Introduction  
2 Progress on the 1-2-3 Conjecture  
3 Variation I: Coloring by products, multisets, sets, and sequences  
4 Variation II: Total and vertex weightings  
5 Variation III: List weightings  
6 Variation IV: Edge colorings  
7 Distinguishing colorings and irregularity strength  
8 Summary