a[[A]]