Last time we introduced the relationship between interpretability of structures and homeomorphisms of their corresponding automorphism groups. We now introduce the algebraic fundamental group of a curve, and a sketch of its encoding as a multisorted structure. Following this encoding is a discussion of the definability analysis that follows on algebraic covers of the curve, and questions surrounding interpreting the base curve from the group structure model-theoretically.