La sustitución de una expresión por su valor genera un estado diferente.