( 8 \ 7)