Representative SIMPL integration for (k_2,M, k_2,A) = (0.1, 1.0) assuming Q_U = 600. The migration does not produce a Miranda–Ariel 5:3 resonance crossing. Instead, the evolution is dominated by the Ariel–Umbriel 5:3 MMR. In this simulation, Ariel and Umbriel remain resonantly coupled throughout the 50 Myr interval shown, and Miranda’s inclination consequently continues to increase beyond its present value. This case therefore illustrates the strong indirect excitation of Miranda during prolonged Ariel–Umbriel resonant evolution but does not represent a complete evolutionary pathway to the present nonresonant configuration.