4.6. Generalization

TODO