Harris, Marvin, librettist.