Miranda is the smallest of Uranus' large moons—after Titania, Oberon, Umbriel and Ariel—at ... since the formation of the ...