( 12 , 11 : ; .)