( 2 , 6.12 .)