Heat the pressure cooker up, according to instructions in the manual for the meat setting.

Pour the olive oil in and sear the beef on all sides.

Remove and set aside.

Add the veggies to the unit and saute for a minute or two.

Add the beef back in.

Add all the seasonings and herbs.

Add the stock.

Cover the unit with the lid and lock. Set the steam release valve to lock.

Hit the cancel button to reset the unit to the meat setting. Add minutes to the timer to set it to cook for 40 minutes. The digital dashes will appear until the unit is ready to cook and then begin counting down.

Once the timer has counted all the way down to zero, use a pot holder to turn the steam release valve to release.

When the steam has finished releasing, unlock the unit and remove the meat and veggies. Discard the bouquet of herbs.

Mix the cold water and cornstarch in a cup until all lumps are gone.

Pour the liquid from the pressure cooker pot into a deep skillet. Heat to boiling.

Whisk in the cornstarch mixture and cook for about three minutes or until thickened to your likeness.

Slice the beef up and serve with the veggies and gravy.