Step 1: Season beef with salt, pepper and minced garlic

Step 2: Chop 1 onion in 4 big wedges

Step 3: Place in the beef pressure cooker with the 4 wedges of onion and the stock

Step 4: Pressure cook for 20 minutes

Step 5: Release the pressure and open the lid

Step 6: Remove the beef and SAVE 2 cups of stock in another container

Step 7: With 2 forks, shred the beef. Beef should be tender enough to so easily. If not, cook for another 10 minutes

Step 8: Press the saute button of the Instant pot. Add the olive oil

Step 9: When the machine beeps, add the sliced onion, pepper and tomatoes. Cook until tender

Step 10: Add the shredded beef back in the pot and mix

Step 11: Pour in 1 1/2 cups of the saved stock, the Worcestershire sauce, tomato paste, ketchup and cumin. Mix

Step 12: If sauce seems to dry, add a tad more of stock

Step 13: Season with salt and pepper

Step 14: Serve!