( 7 — s / , 10]