Three films here carry a writing credit for Roger O. Hirson: A Christmas Carol, Demon Seed and Pippin.