( 12 ; 4 .)