Describir: Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /