Summa Rdr 3 , 172 : 16.