Memory, song (for the musical Cats)