( a ) ( 13)