Directions

1. Set pressure cooker to "sear", add oil, adjust time to 10 minutes, and press "start/stop". When hot, add onions, garlic, and carrots. Sauté until onions are translucent, about 5 minutes.

2. Add cumin and cook. When fragrant, stir in lentils, tomatoes, vegetable stock, and water.
3. Close and lock lid, set pressure cooker to "multi grain", adjust time to 8 minutes, and press "start/stop".
4. When done, quick release and make sure all pressure is released before opening lid.
5. Carefully open lid and stir in spinach. Check seasoning and serve hot.