This essay notes a striking parallel between the original Hilbert-Bernays t
reatment of definite descriptions and Russell's theory of logically proper
names. The formal language for the original theory is laid out and the impl
ications of a theory of cis a cis the statements that qualify as predicatio
ns in a logically proper definite descriptions sense of the word 'predicati
on' different from the espoused by Frege, Russell and Meinong.