( 10 , r53 .)