a person with horns and a whip