A history of the devil’s horns