“First Contact With an AGI System” commented-out title within the latex source