In 7.1 we prove the iso-definability of C when C is a curve. This is done using Riemann-Roch. In 7.2 we explain how definable types on C correspond to germs of paths on C. The remainder of the chapter is devoted to the construction of the retraction on skeleta for curves. A key result is the finiteness of forwardbranching points proved in Proposition 7.4.5.