( 7 — ' / all)