 Necessarily, for all x and all artifactual kinds K, x is a K only if x is the product of a largely successful intention that (Kx), where one intends (Kx) only if one has a substantive concept of the nature of Ks that largely matches that of some group of prior makers of Ks (if there are any) and intends to realize that concept by imposing K-relevant features on the object. (Thomasson 2003, 600)