Summa rgs rdr 9 , 616 : 42.