If I had a photo, I would most certainly use it. That is... unless the photo I have sucks. For now, you'll just have to picture a big heaping helping of
Season cubed sirloin with salt and pepper, then sprinkle flour and toss to coat beef
Heat pressure cooker to saute, add a couple tablespoons of oil, and when hot sear beef on all sides to brown - you’ll need to do this in batches - remove and set aside
Add a little more oil, then the onions and garlic, and after a couple minutes the carrots & celery
Give them a couple minutes to soften, then add the tomato paste, and stir in well
Continue with the vermouth, allowing a couple minutes for it to reduce, then add the broth and thyme, stir and loosen the “fond” (Fond are the brown particles found at the bottom of pans after browning meat or vegetables. It adds flavor to the dish!)
Add seared beef (and all its juices), potatoes, mushrooms and soy
Stir well, put on lid, set to high pressure and cook for 25 minutes
Let steam release by itself for 10 minutes, then release the rest
Mix cornstarch with a couple tablespoons of water until smooth, then stir into pot and let thicken a couple minutes