 While first-order logic can only express some relations between variables, IF first-order logic with its greater expressive power can express more. Actually, IF logic is calculated to capture all such relations (Hintikka 1996: 75–77; 2002a: 404–405; 2002b: 197; 2006a: 72). This idea must, in its full generality, be seen as programmatic. For a more general framework, cf. Hintikka (2006a: 515, 536, 752; 2008), Sandu &amp; Sevenster (2010), Sandu (2013), Sandu (2014).