CORRECT

Alan has never performed at Carnegie Hall.
Hopefully, someday you can join him there in concert.