  We show that the natural embedding of the differential field of transseries
into Conway's field of surreal numbers with the Berarducci-Mantova derivation
is an elementary embedding. We also prove that any Hardy field embeds into the
field of surreals with the Berarducci-Mantova derivation.
