for example: how to use chain conditions to show that every set of sub-objects has a maximal/minimal element or that a complex object can be generated by a smaller number of elements. these conclusions often are crucial steps in a proof.