Add olive oil to Instant Pot® and select the “Sauté” function.

Add garlic, celery, carrots, red onion, and crushed red pepper flakes.

Season with salt and black pepper, to taste, and stir to combine.

Sauté, stirring occasionally, until fragrant and the vegetables start to develop some color, approximately 4-5 minutes.

Add broth and stir to combine, scraping any brown bits off the bottom of the pot in the process.

Turn the unit off.

Add potatoes, bay leaves, and chopped tomatoes to the pot.

Add lid and lock into place. Switch the vent to “Sealing” and set the “Manual” setting to 3 minutes.

When cook time is complete, allow pressure to release naturally for 10 minutes, then manually release any remaining pressure.

Remove lid and discard the bay leaves.

Stir in fresh arugula and lime juice, and season with additional salt and black pepper, if desired.

Stir to combine.

Serve immediately topped with freshly shaved or grated Parmesan cheese, if desired. Enjoy!