Beef stew Instant Pot improv

What do you do when your CSA farm box gives you random ingredients? Pull some stew beef out of the freezer and make a stew! It's cool enough weather now, anyway.
Defrosted beef, celery, parsley, tomato sauce, salt & pepper, bay leaf, rosemary, thyme, paprika. I ended up putting the Instant Pot at 35 minutes, with a 12-minute slow release.