Consider a fragment of the language SL, called SL*. SL* has the same rules for forming statements, but where SL has an infinity of statement letters, SL* has only 26 statement letters. Using appropriately modified rules for statement formation that were given for SL, how many statements could we form in SL*? Is SL more powerful than SL*? Is there a sensible way of comprehending the concept “expressive power” of a logical formalism?