update introduction text so it actually reflects the document structure
use explicit labels for \define
export