Instant Pot Lentil Dal

olive oil (, or use water for sautéing to make the recipe oil-free)

large onion (, chopped)

large cloves garlic (chopped)

fresh ginger (, finely chopped or grated)

heaping teaspoons garam masala

ground cinnamon

red chili pepper flakes (, add up to a teaspoon extra if you like it a spicy. You can use 1 fresh small red chili if you prefer)

slightly heaping teaspoons ground turmeric

salt (, plus more to taste at the end)

ground black pepper (, plus more to taste at the end)

mls / 3 cups + 1 tablespoon water

/ 2 heaping cups dried red lentils (, (no need to soak))

large fresh tomatoes (cut into chunks)

/ 13.5oz can / a little under 1¾ cup canned coconut milk (, full fat or light)