This Elements presents the major findings and theoretical advances in the area of Control. We describe the different types of control (complement, adjunct, obligatory, nonobligatory) and illustrate their profiles in several languages. It is shown that while certain features of Obligatory Control (OC) are common – nullness of PRO, nonfinite complements – they are not universal, hence should not enter its core definition. Comparing approaches to the choice of controller based on lexical meaning postulates with those based on embedding of speech acts, we conclude that the latter provide deeper insights into the core properties of OC. The fundamental semantic distinction between clauses denoting a property and those denoting a proposition proves to be important: It affects both the possibility of Partial Control in complements and the possibility of Non Obligatory Control in adjuncts. These insights are integrated in the Two-Tiered Theory of Control, laid out in the final sections.