PDF Search: sympathy for the devil