For reference, this is actually the recipe: - one medium onion, chopped - two tablespoons of vegetable oil - one clove of garlic, crushed - one cup of carrots, chopped - two sticks of celery, chopped - half a cup of lentils - one bay leaf - one tablespoon of freshly-chopped parsley - salt and freshly-ground pepper to taste - two and a quarter cups of vegetable stock or water