To make the Kokkari Tomato Sauce:
In a food processor, puree the tomatoes with their juice. Set aside. Crush the garlic cloves with the heel of your palm against the side of a chef’s knife. In a medium saucepan, heat the oil over medium heat. Add the garlic and sauté just until it begins to brown, tipping the pan so the cloves remain covered in oil. Remove from the heat and discard the garlic cloves. Add the pureed tomatoes to the hot oil – the mixture will sizzle and splatter – then return the pan to medium heat. Cook, stirring often and adjusting the heat to maintain a gentle simmer, until the sauce has thickened and lost its raw taste, about 15 minutes. If the flavor does not seem rich enough, stir in the tomato paste. Add the oregano and simmer 5 minutes more. Add the basil sprig and remove from the heat. Season to taste with salt. You can refrigerate any unused sauce for up to 3 days.
Instant Pot Beans: I made the beans in the Instant Pot with the vegetables. The vegetables do get a bit overcooked, so next time I would chop them a little larger. 50 minutes on high pressure seemed to be good. It's possible they would have been perfect at 45 minutes. But at 40 minutes, they weren't done yet.