Mushroom-barley soup

Oil, olive	2 tablespoons
Garlic, minced	2 cloves
Onion, yellow, diced	1 large
Carrots, peeled, diced	2 large
Celery, diced	2 stalks
Salt, kosher	1 ½ teaspoons +
Thyme, dried	1 teaspoon
Pepper, freshly ground	½ teaspoon +
Tomato paste	2 tablespoons
Mushrooms, cremini or button; sliced	1 pound
Pearl barley	½ cup
Bay leaf	1
Broth, mushroom or vegetable	5 cups
Lemon juice, fresh	1 tablespoon

1. Using an Instant Pot, select the Sauté setting, and heat the oil. 
2. Add the garlic and heat, stirring for 2 minutes with a wooden spoon. 
3. Add the onions, carrots, celery, and salt; sauté for 5 minutes, until the onion is softened. 
4. Add the thyme, pepper, and tomato paste; sauté for about 1 minute. 
5. Stir in the mushrooms, barley, bay leaf, and broth. 
6. Secure the lid, press Cancel, select Manual, and set the cooking time to 30 minutes. 
7. Let the pressure naturally release for 20 minutes, then vent the Instant Pot to release the remaining pressure. 
8. Carefully open the pot, remove and discard the bay leaf, and stir in the lemon juice. 
9. Taste and adjust the seasonings as needed.

Recipe from The Ultimate Instant Pot Cookbook by Coco Morante.