  We discuss the conjecture that every maximal Hardy field has the Intermediate
Value Property for differential polynomials, and its equivalence to the
statement that all maximal Hardy field are elementarily equivalent to the
differential field of transseries. As a modest but essential step towards
establishing the conjecture we show that every maximal Hardy field is
$\omega$-free.
