  We prove the conjecture of F. Rodriguez Hertz and J. Rodriguez Hertz (2006)
that every nontrivial transitive expansive attractor of a homeomorphism of a
compact surface is a derived from pseudo-Anosov attractor.
