Title: everyman's dictionary of music