グラウンド・エフェクト効果を得るために、完全なウイングカーとしてWR7は製作された。しかし、昨年の車であるWR6よりも順位が低下。結局1979年シーズンはノーポイントに終わる。この年はオリンパスがスポンサーとなったため、昨年までの紺色ではなく、黒色の車体に金色の文字となった。1979年末に合併したフィッティパルディで改良され、1980年にF7としてデビューした。シャーシの名称はWR1からWR9まであるが、このうちWR8とWR9はWR7と同一である。
「うんりゅう」は、中期防衛力整備計画に基づく平成17年度計画2900トン型潜水艦8117号艦として計画された。2006年3月31日に川崎造船神戸工場で起工され、2008年10月15日に同工場で挙行された命名・進水式において防衛大臣・浜田靖一（防衛大臣政務官・武田良太代読）により「うんりゅう」と命名され進水、2010年3月25日に神戸工場西浜岸壁で引渡式と自衛艦旗授与式が行われ、川崎造船から防衛省に引き渡され就役し、同日付で第1潜水隊群第5潜水隊に編入され呉に配備された。2013年9月24日、米国派遣訓練のためハワイ方面に向けて呉を出港した。12月24日に呉に帰港した。2016年5月10日から5月15日、四国沖にてオーストラリア海軍潜水艦「ランキン」と対潜水艦訓練などの共同訓練を実施した。同年10月14日から2017年1月14日までの間、米国派遣訓練（ハワイ方面）に参加。現在も第1潜水隊群第5潜水隊に所属し、定係港は呉である。
世界の危機が去ってから 3ヶ月後、ヴィントの国王であるはずのマシロは使用人のようにこき使われ、ガルデローベの職員と生徒は何故か水商売を始めていた。借金の返済を合言葉に日々労働に勤しむガルデローベの関係者が何故こうなったのか…。事の始まりは世界の危機が去り、学園の修繕費用の捻出のためエアル各国家への援助を要請していたナツキらの前に現れたアルタイ公国次期国王のアラシの存在であった。彼は学園のありとあらゆるものを片っ端から借金の形に差し押さえ物件とする。新祖レナも例外ではなく、差し押さえ物件とされた直後にマテリアライズが不可能に。亡き兄ナギの意志を継ぎアラシはマシロとの婚姻のため、花嫁修業と称したアラシのお部屋係を強制される。一方ヴィント市警は最近頻発する宝石強盗の捜査で忙しくアラシが用意した書類に偽りはないとの見解を示す。エルスがアラシの怒りに触れ学園側最初の被害者となった事に危機感を隠せない面々（面白がっているシズルを除く）は学園とマシロ奪回のためにナツキが提案した「オトメの花道作戦」を実行に移し、物語は始まる。
ある日の夜、ヴィントブルーム王国の風華宮にて、一人の少女が殺された。少女の名はマシロ・ブラン・ド・ヴィントブルーム（以下、真白姫）。ヴィントブルーム王国の次期女王である。彼女が死んだことが公の下に晒されることは国家として致命的なダメージになることは明白であった。そこで政府は、死んだ真白姫と瓜二つの容姿を持つという理由で王国からの支援を受けていた一人の少年を呼ぶことにした。王国の政治を取り仕切る宰相のセルゲイ・オーギュスト大佐は少年に「真白姫になりオトメ養成学校ガルデローベ学園に入学しろ」と強制する。真白姫に成り代わった少年（以下、マシロ）は母親がオトメだったらしく、形見として「蒼天の青玉」をいつも大事に持っていた。マシロをガルデローベ学園に案内するために遣わされた二人のコーラルオトメ、アリカ・ユメミヤとニナ・ウォン。彼女たちとマシロが出会ったことから物語は始まる。
木を一番右の要素とその要素を削除した木に分割する演算popRについて示す。左側を分割する演算popLも同様である。削除演算はほとんど追加演算の逆である。1つだけ要素を持つ木からの削除は単純である。 popR (Single a) = (Empty, a)深い木に関してもDigitが1以外のときは単純である。例えばの場合は次のようになる。 popR (Deep pr m (Two b c)) = (Deep pr m (One b), c)Digitが1の場合、繰り下がり処理をする。 popR (Deep pr m (One b)) = (borrowR pr m, b)繰り下がり処理はより深い木が空の場合と空でない場合で場合分けする。空の場合は次のようになる。 borrowR pr Empty = toTree prここでtoTreeは空の木にprの要素を順に追加する関数である。より深い木が空でない場合は次のようになる。 borrowR pr m   = let       (m', node) = popR m     in       Deep pr m' (toDigit node)ここでtoDigitはNodeをDigitに変換する関数である。Nodeは2つまたは3つの要素を持つので、それらをTwoまたはThreeに変換する。より深い木の要素はNodeである点に注意。popRで木を変形する様子を図で示す。ここではpopRとborrowRを合わせて1つの式で書いている。より深い木が空の場合は次のようになる。より深い木が空でない場合は次のようになる。追加および削除演算の計算量は式を遅延評価する処理系において償却定数時間である。以下の図は空の木に右から要素を17個追加し、左から1つずつ削除していく様子である。ただし繰り上がりや繰り下がりの様子がわかりやすいようにDigitは3までに制限してある。