The theta-criterion (also named θ-criterion) is a constraint on x-bar theory that was first proposed by Noam Chomsky as a rule within the system of principles of the government and binding theory, called theta-theory (θ-theory). As theta-theory is concerned with the distribution and assignment of theta-roles (a.k.a. thematic roles), the theta-criterion describes the specific match between arguments and theta-roles (θ-roles) in logical form (LF):