Y es que M sigue un orden de ejecución basado en la dependencia: evalúa la expresión que, situada en el bloque in, va a determinar el resultado de la consulta (la variable nombre en el ejemplo anterior) y va a ir ejecutando las instrucciones (los pasos) en el orden adecuado para poder obtener el resultado buscado, con independencia de su situación en el bloque let.
Esto significa que, de hecho, podemos escribir M en el orden que queramos, aunque seguramente resultará un código más fácilmente interpretable si sigue un orden "lógico". Y, como ya sabemos, si la consulta no devuelve la última fórmula de paso del bloque let, el bloque de Pasos aplicados no mostrará los pasos individuales, solo el nombre de la consulta.
Pero aparte de estas dos consecuencias, nada nos impide escribir el código en cualquier orden.
