• Work from general to special
• Canonicalization
• The danger of automatic simplification