• Basics
• Automatic evaluation to canonical form: eval()
• Comparisons
• Functionality
• Conclusion
• Other systems