Step 1

Add 1 tablespoon olive oil to Instant Pot on saute function. Once the oil is hot, add beef (working in two batches) and let cook about 3 minutes on each side, or until browned. Set aside on a plate.

Step 2

Add remaining olive oil and add mushrooms and saute 4 minutes on each side, or until browned. Set aside.

Step 3

Add Guinness to deglaze the pan. Add beef, onions, celery, garlic, tomato paste, Dijon mustard, Worcestershire sauce, sugar, bay leaves, thyme and beef stock. Secure lid, make sure valve is set to sealing and set Instant Pot to Meat/Stew function for 30 minutes.

Step 4

Use quick release valve to release steam.

Step 5

Remove lid, add potatoes and carrots. Secure lid back on and set to pressure cook/manual for four minutes.

Step 6

Use quick release valve to release steam. Remove lid and stir in sauteed mushrooms.

Step 7

In a small bowl, mix cornstarch with two teaspoons water. Add cornstarch slurry to the stew and stir in to thicken.

Step 8

Add salt and pepper, to taste.