3 tablespoons extra virgin olive oil · 1 medium onion, chopped (about 1 cup) · 1 carrot, chopped (about 1/2 cup) · 2 cups red bell peppers · Salt · 2 cloves garlic, ...