same as above about `]`