以上の説明で分かるように、対偶論法を用いると日常の感覚とは相反する帰結が得られる。ゆえに、ヘンペルの論法による確証は、対象が存在する・対象の総数が事実上有限と見なしてよい…などの諸前提が成り立ってはじめて、現実的に有用なものとなる。もっとも、通常の論理学では、この作業が仮に不可能であってもヘンペルの論法は正しいことになる。従って、実際には証明の遂行ができなくても「論理的には正しい」ということになり、感覚的には奇妙な結論が得られることに変わりはない。
「ヘンペルのカラス」は「全てのカラスは黒い」という命題を証明する以下のような対偶論法を指す。「AならばBである」という命題の真偽は、その対偶「BでないものはAでない」の真偽と必ず同値となる。全称命題「全てのカラスは黒い」という命題はその対偶「全ての黒くないものはカラスでない」と同値であるので、これを証明すれば良い。そして「全ての黒くないものはカラスでない」という命題は、世界中の黒くないものを順に調べ、それらの中に一つもカラスがないことをチェックすれば証明することができる。つまり、カラスを一羽も調べること無く、それが事実に合致することを証明できるのである。これは日常的な感覚からすれば奇妙にも見える。こうした、一見素朴な直観に反する論法の存在を示したのが「ヘンペルのカラス」である。
ヘンペルのカラス (Hempel's ravens) とは、ドイツのカール・ヘンペルが1940年代に提出した、帰納法が抱える根本的な問題（「帰納法の問題」）を喚起する問題である。「カラスのパラドックス」とも呼ばれるが、パラドックスとして扱うべきかどうかには異論もある。
ST250をベースに、セル始動に加えてキック始動を併設した特別仕様のエンジンを搭載し（2004年モデルから2007年モデル）、ヘッドライトやウインカー、メーターケース、マフラーなどにメッキ加工および、ガソリンタンクにグラデーション塗装を施した豪華バージョン。シンプルなカラーリングのST250に対して、ST250 E typeはカラフルなボディカラー、エンブレムをラインナップ。ST250とは車両重量が2kg増加した以外は性能諸元において差はない。2007年モデルを最後にST250とST250 E typeは統合（2008年モデルからモデル名をST250 E typeに統一）。2008年マイナーチェンジ。2008年モデル以降のST250 E typeはスペックから外観に至るまで大幅な改良が施されている。
空冷単気筒4サイクル・SOHC2バルブエンジン、スポークホイール、シングルディスクブレーキ（前輪）/ドラムブレーキ（後輪）、ツインショック、前後フェンダーの樹脂化、ハザードランプ・パッシングライト・ポジションランプの省略、オプション扱いの車載工具など、シンプルな構成と装備の簡素化を進めることでコストの上昇を抑え、引き続き手頃で乗りやすいバイクとなっている。ST250 E typeと統合する形で2007年モデルを最後に生産終了。
NCSOFT Corporation（エヌ・シー・ソフト）は、大韓民国のオンラインゲーム運営会社。名称が似ている会社に、日本でCAD/CAMシステムを販売しているNCSOFT Service Center（株式会社NCソフトサービスセンター)があるが、資本関係も無い全く別の会社である。
北ヨーロッパでは、中世から1800年代後半までオオカミの駆除がされた。 イギリスでは法律によって強制的に迫害され最後のオオカミは、ヘンリー7世が統治中であった16世紀初頭に殺害された。 スコットランドでは、オオカミは広大な焼失した森林で長く生存でき、1684年までサザランドとブレーマーで生き残った。 アイルランドでは1786年に最後のオオカミが殺された。スウェーデンでは1647年に家畜の餌にするためにヘラジカとトナカイの絶滅後に、導入された。ハイイロオオカミは、1772年にデンマークで絶滅した。ノルウェーの最後のオオカミの種は、20世紀フィンランドで間引きされた1973年に殺害された1950年代に、オオカミを迫害することをやめたことからヨーロッパオオカミの個体数の回復が始まった。2005年、スウェーデンとノルウェーでのオオカミの総数は11の繁殖ペアがあり、少なくとも100頭以上は棲息していると推定されている。
山岳地帯に棲息するオオカミは、ヘラジカ、アカシカ、ノロジカ、シャモア、イノシシ、ウマ、シカ、トナカイ、アルガリ、ムフロン、ヨーロッパバイソン、サイガ、アイベックス、野生のヤギ、ダマジカ、ジャコウジカを食べる。また、家畜や小動物も食べる。 東ヨーロッパでは、家畜やゴミを漁って食べている集団のオオカミもいる。
体長76cm以上、地域によって異なるが体重約69～80kgメスはオスより２割程度体格が小さい。 体毛は、白色，浅黄色，柿色，灰色、黒色で混合した色で頬にあたりまでその色をしている。
シベリア、中央アジア、ヨーロッパ、モンゴル、中国北部、北東部、北西部、南西部に分布する。 中国、黒龍江省、内モンゴル、チベット、新疆、西ヨーロッパにも分布している。
元淑（拓跋素の子）の子として生まれ、7人の兄弟のうちで最も名を知られた。太尉参軍事をつとめ、司空の李沖の六女の李稚華を妻に迎えた。爾朱氏が政権を掌握すると、危難を予見して、洛州刺史の任を求めて難に遭うのを避けた。530年（永安3年）に孝荘帝が殺害されたときも、外任にあったため命拾いした。533年（永熙2年）、賀抜岳の要請により霊州に入ろうとしたが、州民が従わず、部下を撃破された。534年（永熙3年）、孝武帝に従って入関し、馮翊王に封じられた。西魏が建国されると、尚書左僕射となった。537年（大統3年）、大行台として宇文泰の東征に従い、独孤信とともに洛陽を攻撃し、金墉を占拠した。司州牧となり洛陽に駐屯したが、東魏の大軍が迫ると、衆寡敵せず、洛陽を放棄して関中に撤退した。中書令・雍州刺史となり、司空に転じた。後に病のため死去した。諡は簡穆といった。子に元亨があった。