Edit: this question is silly, I confused [ and [[ (thanks @josilber), but I can't delete it.Edit: this question is silly, I confused [ and
Edit: this question is silly, I confused [ and [[ (thanks @josilber), but I can't delete it.Edit: this question is silly, I confused [ and