Pressure Cooker Lentil Soup

1
In your pressure cooker, sweat the onions and garlic in the olive oil until the onions are translucent.
2
Add the carrots and celery and saute for a minute or two.
3
Add the ground cumin and stir well.
4
Add the vegetable broth, lentils, and bay leaves, close the pressure cooker, and bring up to pressure.
5
Cook for 20 minutes.
6
Open the pressure cooker via the quick release method (see your cooker's owner's manual!) or let the pressure come down on its own.
7
Remove the bay leaves.
8
If desired, stir in the spinach, and stir until it wilts. (Additional heat is not necessary.).
9
Season with salt and fresh ground pepper to taste.