Lyrics by Ira Gershwin: The 1952 Walden Sessions