( 15 , * 17 .)