 Normativists have also argued that even if the basic semantic concept itself wasn’t normative, the notion of semantic correctness still would or could be. Semantic correctness, it is argued, is not simply the same as, for instance, truth. Normativists here appeal to a distinction stressed by Rosen (2001: 620) between correctness and the “correctness making feature”, the (non-normative) property something must have in order to count as correct. According to Rosen, correctness is a higher-order property. To say that something is correct is not just to say that the correctness making features are in place (as when someone plays the notes of the Moonlight Sonata) but to make the higher-order claim that the action (the piano performance) possesses the feature that makes for correctness in acts of that kind (the act of playing the Moonlight Sonata). Similarly, it is argued, to say that applying “green” to a green object is correct, is to say that the application has a certain non-normative property (the expression applies truly) but it is also to make the higher-order statement that the application possesses the feature that makes it correct in a normative sense. Even if the basic word-world relation is non-normative, therefore, it does not follow that the property of correctness does not have a normative dimension (Speaks 2009: 408; Whiting 2009: 540; Fennell 2013: 58–59). It is difficult to see, however, how something like “the correctness making feature” could strictly speaking be a second-order property (i.e., a property of a property). It is one and the same object that both has the correctness making feature and is correct, after all. Rather, Rosen-style correctness is a first-order, second-level property (to use the terminology of Russell’s ramified theory of types). More importantly, even if that is the best way to construe the intuitive general notion of correctness, all this means is that it might be possible to provide arguments for the claim that the notion of semantic correctness is normative even if we agree that the basic semantic concept itself is not normative. But the basic anti-normativist challenge applies to Rosen-style correctness just as to any other construal of the intuitive, general notion of correctness: Since “correct” can be used normatively and non-normatively, there is no simple, direct implication from correctness to normativity (cf. Glüer &amp; Wikforss 2009: 37, fn. 10; 2015a).