S : ^ ^ K>