Which name for the devil do you prefer?