a bull horn is a kind of horn.