銭選は南宋末に進士に及第するも生涯にわたって仕官していない。宋朝滅亡後は呉興に移り住み、他の遺民画家と文人グループを形成し、「呉興八俊」と称揚される。元朝最大の芸術家とされる趙孟頫と文雅の交友があり、書画三昧の生活を送る。趙孟頫がクビライに招聘されると他の文人達もこれに従ったが銭選は潔しとせず、ひとり故郷に隠逸した。このことが遺民としての忠誠心の現れとして後世に評価されている。画の力量は職業画家と間違われるほど巧みで、晩年はそのためにかえって贋作が横行した。これを防ぐ為に画に詩文を書き入れたという。南宋画院の硬直した画風に反駁し、北宋の趙伯駒・李公麟・趙昌などの筆法を採り入れ、復古主義的な画風を確立した。この主張は元末四大家に受け継がれ、文人画の隆盛に繋がった。趙孟頫に「文人画とは？」と問われて「隷体の画である」と返答したとされるが、この逸話は文人画論に著名である。銭選・趙孟頫・李衎・高克恭・商琦を元初五大家とする呼称もある。落款印が拙劣であることなどから、職工に依頼せずに印章を自刻したと推定され、篆刻家の先駆けと目される。。
銭 選（せん せん、生没年不詳）は、宋末から元初にかけての文人画家・篆刻家である。生年は1235年前後、卒年は1301年以降と推定される。字は舜挙、号は玉潭・巽峯・清癯老人・習懶翁・霅谿翁など。湖州烏程県（現在の浙江省湖州市呉興区）の人。
LK の規則に少しだけ変更を加えることで、直観論理の証明体系となる。この場合、直観主義的シークエントになるよう制限を加え、推論規則はこの制限が保たれるように修正を加える。たとえば、規則 (∨L) には以下のような修正を加える。ここで  は1個または0個の論理式の列である。このような体系を LJ（エルジェー、エルヨット）と呼ぶ。これは直観論理においては健全かつ完全な体系であり、LK と同様なカット除去証明が存在する。
上述の規則群は LK の本質を変えることなく修正可能である。そのような修正を加えた体系も LK と呼ばれる。まず、上述の通り、シークエント群を集合や多重集合と見ることもできる。この場合、転置規則と（集合の場合） 縮約規則は陳腐化する。弱化規則は公理 (I) を Γ, A  A, Δ という任意のシークエントが導出されるように修正することで許容される。これは、任意のコンテキストで、A ならば A であること意味している。導出の途中に出現する弱化規則は導出開始直後に実施できるようになる。これはボトムアップの証明で特に便利な変形である。これとは別に、コンテキストを規則内で分ける方法を変更することもある。(∧R)、(∨L)、(→L) は下から上に適用する場合、コンテキストを Γ と Σ にどうにかして分けることになる。縮約規則を下から上に適用すれば、これらが重複してもよいので、常に全コンテキストが両方の分岐に適用されるとしてもよい。そうすると、重要なコンテキストを省いてしまう危険がなくなる。不要なコンテキストは後から弱化規則を適用することで削除できる。これらの変形を施しても LK とは本質的には違わず、相互に変換が可能である。
この規則体系は一階述語論理において健全かつ完全である。すなわち、 が上記規則群から導出される場合に限って、前提 Γ () から命題 A が意味論的に導かれる。シークエント計算では、カット除去定理が許される。これをゲンツェンの Hauptsatz（主定理）とも呼ぶ。
1950年代初頭からローバーの主力中型車として長年生産され、"Auntie Rover"(ローバーおばさん）というニックネームで親しまれたP4系（鈍重なボディスタイルと観音開きドアが特色。最高出力によってローバー75に始まり110まで発展。品質こそ高かったが設計は徹底して保守的だった）の後継車種として開発された。P6は英国車の中でも特に保守的な「ローバーおばさん」の後継としては異例なほど進歩的な設計で、シトロエン・DSの影響も随所に伺われたため、今度は製造工場にちなんで「ソリハル製シトロエン」というニックネームを得ることとなった（シトロエンは戦後も長らく英国内のスラウに英国向け工場を有し、右ハンドル仕様シトロエン車を生産していた。P6のニックネームはそのあたりの機敏も踏まえたものと言える）。内容はこの時代のイギリス製乗用車の中でも突出したもので、高剛性モノコックボディにストロークの大きなサスペンションと四輪ディスクブレーキ（後輪インボード式）を組み合わせ、高速型のギアリングを採用することで、操縦性と高い巡航性能確保を狙っていた。サスペンション回りの設計の高度さは当時の金属スプリング車としては特異なもので、ド・ディオンアクスルによるリアサスペンション（これによりインボードブレーキ採用可能となった）、そして当時ローバーが開発中だったガスタービンエンジンの搭載を想定し、極度に凝ったレイアウトのフロントサスペンションを備えていた。ガスタービンの開発は頓挫したものの、その結果得られた広いエンジンベイは1968年にGM・ビュイック設計のV8エンジンを搭載する際に大いに役立つことになる。またこの時代の自動車としては先進的な、全席シートベルトの標準装備も特長であった。主任設計者はスペン・キング（Spen King ）、デュアルヘッドライトの3ボックス・4ドアという常識的レイアウトながらP4より全高が24cmも低いスマートなデザインはデビッド・ベイチュの作品である。このコンビは13年後に登場する後継車SD1の設計にも携わることになる。