( 8 , [ ))