Using `[[...]]` to replace `[...]`