Vegetarian Instant Pot Bean Soup Using Dried Beans

bag 15 bean soup blend from Hurst Beans (save seasoning packet for another use)

vegetable stock (or 4 C water, 4 C stock OR all water!)

garlic, chopped

small sweet onion, chopped

red bell pepper, seeded and chopped

stalks celery with tops, chopped

carrots, peeled and chopped

kosher salt and fresh black pepper

ground red pepper

dried bay leaf

sprigs of fresh thyme

of Red Gold petite diced tomatoes, undrained

juice of 1 lemon

TB olive oil