types chapter, half of the initial attempt.