En primer lugar, pelamos las cebollas y las cortamos en juliana gruesa.

Cogemos una olla a presión, le añadimos las diez cucharadas de aceite de girasol y cuando este caliente, añadimos el código y los huesos.

A continuación, le añadimos las cebollas y le picamos sal y pimienta negra.

Removemos y rehogamos todo durante doce minutos removiendo de vez en cuando.

Mientras tanto, picamos el perejil.

Pasados los doce minutos.

Le añadimos el perejil picado y los dos dientes de ajos enteros y cascamos con la piel.

A continuación, le rallamos el tomate en la misma olla y sin retirar la olla del fuego.

Seguidamente, le añadimos sal fina marina y todas las especias.

Removemos un poco para que se mezclen los ingredientes.

Tapamos sin cerrar del todo la olla y dejamos rehogar durante quince minutos removiendo de vez en cuando.

Mientras tanto, cogemos los champiñones, le cortamos el el tallo y los enjuagamos ligeramente y secamos con papel absorbente y reservamos. Aunque los champiñones no se deben de lavar, en este caso si, porque los vamos a guisar y no importa.

Pasados unos minutos, destapamos la olla.

Removemos y un poco. Esto lo vamos a hacer tres veces en los quince minutos.

Volvemos a tapar de nuevo y sin cerar del todo.

Mientras tanto, aprovechamos para cortar los champiñones por la mitad y reservamos en el frigorífico para que no se pongan negros.

Pasados los quince minutos, destamos la olla.

A continuación, le añadimos los 500 mlDe agua y reservamos.

A continuación, cerramos la olla del todo y cuando comience a girar la válvula, bajamos el fuego y dejamos cocinar durante veinte minutos.

Mientras tanto, ponemos un cazo con agua en el fuego con los tres huevos y dejamos cocer durante seis minutos, a partir de cuando comience a hervir el agua. Una vez cocidos, les quitamos el agua, los ponemos en un plato y dejamos enfriar en el frigorífico. Cuando vayamos a empatar, les quitamos las cáscaras, los cortamos por la mitad y le añadimos sal y canela molida para acompañar la salsa.

Pasados los veinte minutos, descompresamos la olla y la abrimos.

Le añadimos los champiñones.

Removemos un poco para que se mezclen los ingredientes.

Cerramos de nuevo la olla y cuando comience a girar la válvula, bajamos el fuego y dejamos cocinar durante quince minutos más y listo... Esto es muy importante para que los champiñones no nos queden correosos y para que la carne se deshaga en la boca.

Este es el resultado final. Si queremos quitar esa grasita que queda arriba en la superficie, ponemos una rebanada de pan de molde y la dejamos unos segundos y la desechamos. Yo no se la que quitado porque le resta el sabor al cordero.