Consultas de Taller

Puede ser que falte otra correccion en este ejercicio?? no veo de que ayuda poner envelope = id(x) en INITIALIZE, si luego en el primer paso de process_message hace envelope=value*. Esto hace que, por ejemplo para un nodo que es minimo, en el segundo paso de process_message no entres en el if envelope < Min(value1, value2) y pases a DEFEATED. Envelop no tendria que ser el id del nodo, value1 el primer id que recibe y value2 el segundo que recibe??