Guiso de setas

Ablande las cebollas bien peladas y cortadas en aceite caliente. Retírelas del fuego y mézclelas con el pimentón. Luego, vuelva a ponerlas al fuego y añada las setas lavadas y cortadas en tiras y los tomates y el pimiento verde cortados de manera uniforme. Sazónelo con la ajedrea, con las especias variadas y con la verbena. Si su propio jugo no parece ser suficiente, vierta un poco agua para cocer al vapor las setas.