( 9 ) , A .)