&gt; | | | I propose to denote the number of a logical term by
&gt; | | | enclosing the term in square brackets, thus, ['t'].
&gt; | |
&gt; | | The &quot;number&quot; of an absolute term, as in the case of 'I',
&gt; | | is defined as the number of individuals that it denotes.
&gt; | ]

cool. I wish I had understood this more the first time I read it.
So ['I'] = 1 is roughly size_of(denoted_set_of(I)) equals 1.

Not a totally unreasonable notation, but not one that I would have easily
guessed. 
Does it even 