66RecipesDirections:1. Press “sear”, set for 10 minutes, then press “start/stop”.2. Add olive oil, onions, garlic, red pepper, mushrooms, oregano, and basil,and sauté.3. Add stock, tomatoes, tomato paste, salt, and bay leaves.4. Stir in carrots, zucchini, sausage, and tortellini.5. Close lid and lock.6. Press “time” and adjust for 5 minutes, and press “start/stop”.7. When done, the pressure cooker will automatically go to the “warm”feature and the pressure will release naturally. Turn the Pressure ReleaseSwitch to "Release" until all pressure is released.8. Carefully open lid, stir tortellini, and top with fresh parsley.Tortellini Serves: 4-6Ingredients:1 tablespoon olive oil1 onion, diced small1 clove garlic, minced1 red pepper, diced small1 (8-ounce) packagecremini mushrooms1 teaspoon dried oregano1 teaspoon dried basil1 teaspoon salt2 cups low-sodium chicken stock1 (28-ounce) can dicedtomatoes with juice1 tablespoon tomato paste1 bay leaf2 medium carrots, thinly sliced2 medium zucchini, thinly sliced1 pound ground hot Italian sausage¾ pound frozen cheese tortellini¼ cup fresh parsley, chopped