In Schönfinkel's original paper, what we now call S, K, I, B and C were called S, C, I, Z, and T respectively.
在Schönfinkel的最初著作中，把现在的S, K, I, B和C分别叫做S, C, I, Z和T。