Goals

• Understand the difference between equivalence and normalization
• Understand the different needs of different applications
• Understand the problems with cannonical equivalence
• Understand the potential solutions, and difficulties