Přikryjte a vařte asi 20 až 25 minut, nebo dokud čočka nezměkne, ale nerozvaří se. Přebytečnou tekutinu sceďte a dejte stranou. Ve velké pánvi rozehřejte olivový olej na středním plameni. Přidejte nakrájenou cibuli a nakrájenou mrkev. Restujte 5 až 7 minut, dokud zelenina nezměkne.
Přidejte prolisovaný česnek, mražený hrášek, sušený tymián a sušený rozmarýn. Restujte další 2 minuty.
Vmíchejte uvařenou čočku a rajský protlak. Dochuťte solí a pepřem. Pokračujte v vaření několik minut, dokud se chutě nespojí. Dejte stranou.
V samostatném hrnci zalijte nakrájené brambory vodou. Přiveďte k varu a vařte, dokud brambory nezměknou, asi 15 minut. Brambory sceďte. Brambory rozmačkejte šťouchadlem na brambory nebo vidličkou. Přidejte neslazené mandlové mléko, rostlinné máslo (nebo olivový olej), sůl a pepř. Pokračujte v mačkání, dokud směs nebude hladká a krémová.
Předehřejte troubu na 190 °C.
