book structure in intro is outdated

[gares]

part 1 also covers formalization techniques part 2 title should be more specific, it is about inference and organizing the library