devil horns does the devil even have horns