a 1 Rdr b:ko: