^ ( 20 , 417 .)