4^ t \ S 4^ K.