“the collaboration of George and Ira Gershwin”