( 20 8 ; 2)