Directions

1. Set pressure cooker to "sear", add oil, and press "start/stop". When hot, add onions, carrots, celery, and garlic. Sauté for 4 minutes.

2. Add 4c stock, beans, and bay leaf.
3. Close and lock lid, set pressure cooker to "soup", adjust for 35 minutes, and press "start/stop".
4. When done, natural release for 10 minutes, then do a quick release and make sure all pressure is released before opening lid.
5. Carefully open lid and stir in 2c stock and tomatoes.
6. Set pressure cooker to "sear", adjust time to 10 minutes, and press "start/stop" and bring to a boil.
7. When boiling, add pasta and cook until al dente. Remove bay leaf and serve.