Season beef with salt, pepper and minced garlic Chop 1 onion in 4 big wedges Place in the beef pressure cooker with the 4 wedges of onion and the stock Pressure cook for 20 minutes Release the pressure and open the lid Remove the beef and SAVE 2 cups of stock in another container With 2 forks, shred the beef. Beef should be tender enough to so easily. If not, cook for another 10 minutes Press the saute button of the Instant pot. Add the olive oil When the machine beeps, add the sliced onion, pepper and tomatoes. Cook until tender Add the shredded beef back in the pot and mix Pour in 1 1/2 cups of the saved stock, the Worcestershire sauce, tomato paste, ketchup and cumin. Mix If sauce seems to dry, add a tad more of stock Season with salt and pepper Serve!