 In this framework, “\(a_0\)” designates an individual of type \(\iota_0\) and expresses an individual concept of type \(\iota_1\). Further, “\(a_1\)” designates this individual concept in virtue of expressing a concept of type \(\iota_2\) of the individual concept. However, and crucially, in LSD this concept of type \(\iota_2\) is not the Fregean indirect sense of “\(a_0\)”; rather, it is a distinct semantic primitive that is assigned to “\(a_1\)” only. How, then, are these concepts related?