"S is very special and it is called the strong composition combinator, because when applied to two functions, let us say, f and g, as well as x, then the resulting term gx (fx) expresses the composition of g and f both applied to the same argument x."