Since what istraditionally regarded as 'the' class of names turns out to be only onepossible function of name-forms (though a prototypical one), the notion of'proprial lemma' is introduced as the concept behind both proprial andappellative uses of such categories as place names and personal names.