[ \ 1 \,