( 7 — ^ 10 .)