( * 8-10 .)