nt bijections between languages will be defined between these EC's.

JC: Are you asserting that the notion of a function is identical to the notion
    of a proposition?  That is, do you intend to distinguish the symbolism for
    a function from the symbolism for a proposition crispy?

The way I understand these words -- and here I have to differ from Peirce,
mostly just to preserve conformity with a very insistent COI that rules
the roost these days -- a proposition is an abstract logical object,
denoted 