My random playlist has decided it’s a choral music morning. I just got Palestrina, Rachmaninoff, and now Vaughn Williams all in a row. Lovely.