premise: instant pot beef in marinade
hypothesis: Add steak/beef and marinade to the bowl of Instant Pot.  Close lid securely and set vent to “Sealing”.  Press “Manual”, then press “Pressure” until the light on “High Pressure” lights up, then adjust the +/- buttons until time reads 305 minutes.  Cook.  Then very carefully, turn the vent to “Venting” for quick release, and wait until all of the steam has released and the valve has dropped.  Remove the lid, shred the steak/beef if you’d like.  Serve immediately.