Categorization and Abstraction