The devil with horns and tail and pitchfork