1 - 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.

2 - Beef should be tender enough to so easily.

3 - If not, cook for another 10 minutes Press the saute button of the Instant pot.

4 - Add the olive oil When the machine beeps, add the sliced onion, pepper and tomatoes.

5 - 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.