e in mind.  I am a little more conversant
with the standard Schoenfinkel brands:  S, K, I.
The whole intent of combinators was to eliminate
the variable (the formal index or pronoun) as a
primitive theoretical construct.  I have always
wondered what this would mean philosophically.
It might just mean that the entire indicative
aspect has been relegated to the tabula rasa,
the uncarved block, the unmarked medium that
bears the inscription, or the lack thereof.

Just a thought ...

Jon

o~~~~~~~~~o~~~~~~~~~o~