Formal vs. Intuitive Categorization and Obsessive-Compulsive Symptoms