  We give a conjectural description for the cone of effective divisors of the
Grothendieck-Knudsen moduli space of stable rational curves with n marked
points. Namely, we introduce new combinatorial structures called hypertrees and
show they give exceptional divisors with many remarkable properties.
