New Jersey Symphony Orchestra in Princeton at Richardson Auditorium on Friday, October 13, 2017.