7- / all .)