Following up on last week's talk, I will sketch a little more about the structure and properties of uniform models for surface groups and for the general incompressible-boundary case. I will then explain how this allows us to prove Thurston's "lost" theorem: a certain self-map of Teichmuller space, used in the solution to the gluing problem, has an iterate with bounded image.