Rdr k : S0>