Made it to the end of section 3.

A discussion of whether to translate “Kettenschluss” as “chain rule” or “chain inference” is pending…