Red lentil soup from Terry

2 tablespoon olive or avocado oil
1 large onion chopped
1 tablespoon of garlic ginger paste
2 tablespoon tomato paste (mine comes in a tube)
1 teaspoon cumin ground
1 teaspoon curry powder
Baby book choy, chopped (I just happened to have it)
1 cup red lentils
4 1/2 cups veg stock (or water)
1/2 can of coconut milk

Sauté veg and spices in oil until fragrant.
Add the lentils and liquid .

Lock lid and set to high pressure for 15 minutes. Natural pressure release