( 7-3 / « 10 .)