1.) Heat olive oil in a large pan over medium heat. Add onion, carrot, and celery, and cook gently for about 8–10 minutes until soft and lightly golden. Stir in the garlic, red pepper, and mushrooms.