1966年、Böhm と Jacopini は Communications of the ACM 誌で論文を発表し、goto を使って書かれたプログラムが選択 (IF THEN ELSE) とループ (WHILE condition DO xxx) のみを使って goto を使わずに書き換えられることを示した（コードの一部を複製したり、真理値フラグ変数を追加する必要がある）。後に彼らは選択もループ（と追加の真理値変数）で置き換え可能であることを示した（「構造化定理」）。非常に良く誤解されているが、そのような書き換えが可能という事実は、単に「機械語で書けば何でも書ける」という事実と同程度の意味しかなく、それが望ましいということは全く意味しない。理論的（理論計算機科学的）にはコンピュータは一種類の命令、たとえば「subtract one number from another and branch if the result is negative」さえあれば何でもできるが（チューリング完全あるいは「万能」、en:One instruction set computer も参照）全く実用的ではなく、実際のコンピュータは多数の命令を備えているということと類似している。Böhm と Jacopini の論文は全てのプログラムから goto 文を無くすことができることを示した。また、他の研究により入り口と出口がそれぞれひとつになっている制御構造が他の構造よりも理解し易いということが示された。特にそのような制御構造はプログラムの任意の箇所に制御構造を乱すことなく挿入可能な点が有利とされた。しかし実は、「理論に従ってgoto 文を無くしたプログラム」が「理解し易い」ものであるか否かは不明であり、実際のところ全くそのようにはならないのである。
goto 文は最も典型的な無条件のジャンプである。キーワードとしては大文字だったり小文字だったり空白が入ってgo toだったり、単にgoだったりするが、その構文はだいたいのものが以下のようになっている。   goto labelgoto 文の実行により、その次に実行する文は、ラベルが示す箇所の直後の文となる。
ラベルとは、コード中の固定の位置を示す何らかのシンボルであり、gotoの飛び先や、breakで抜ける対象として参照される。GCC拡張であるが、void * ポインタの値として扱うこともできる（Labels as Values）。行番号は一部の言語（FORTRANやBASIC）でラベルの一種として使われ、負でない整数がソースコードの各テキスト行の先頭に置かれる。行番号を使用する言語では、連続で実行される文には行番号が増えるように行番号を与える必要がある、とBASICしか知らない者は誤解しているが、FORTRANにはそのような制限は無い。BASICで行番号が昇順なのは、テキストの編集にフルスクリーンエディタが一般的ではなかった時代のラインエディタのみによる編集では、行番号に従ってシステムが並べ直してくれたほうが便利だったからであり、「行番号が増えるように行番号を与える必要がある」というのは本末逆転である。例えば BASIC では次のようになっている。10 LET X = 320 PRINT XCやAdaといった言語のラベルは識別子であり、文の前に書かれ、その直後にコロンが書かれる。例えば C では次のようになる。Success: printf ("The operation was successful.\n");Algol 60 言語はラベルとして識別子も非負整数も使用可能（どちらもその後にコロンが続く）だが、多くのAlgol系言語では非負整数をラベルとして許容していない。
海底の隆起部では海水の上昇流が発生し、海水中の栄養塩が表層まで押し上げられる結果、栄養塩類を養分とし光合成を行う植物プランクトンが増殖する。そして、植物プランクトンを餌とする動物プランクトンも増加し、これらのプランクトンを餌とする魚類が蝟集して漁場が形成される。岩、消波ブロック、廃船などの人工物を海底に沈めて人為的に形成したものは、人工魚礁（人工漁礁）と呼ばれる。人工魚礁と区別するために、天然の魚礁を特に天然魚礁（天然漁礁）または天然礁と呼ぶことがある。
白無垢（しろむく）とは、表裏白一色で仕立てた和服である。無垢とは、梵語で、否定的接頭語a-と、垢を意味する mala の複合詞a-malaの訳語で、汚れの無い純真を指す。古来、日本では白を神聖な色として、祭服の色に用いた。室町時代末期から江戸時代にかけて、花嫁衣裳、出産、葬礼、経帷子（きょうかたびら）、切腹の衣服とされた。下着を白無垢にするのは高貴の風。明治以降、洋式慣行が入り、葬礼等が黒になり、結婚式（神前挙式）で花嫁が着用する婚礼衣装と式服の下着に残る。
舞台は、近未来のロサンゼルス。セオドア・トゥオンブリーは相手に代わって想いを手紙に書く代筆ライターをしていた。妻・キャサリンと別れて悲嘆に暮れていた彼はある日、人工知能型OS・サマンサを手に入れる。生身の女性よりも、魅力的で人間らしいサマンサに、セオドアは惹かれていく。ハーバード大学出の女性とデートしたことにサマンサは傷つく。二人はヴァーチャル・セックスをするようになる。離婚協議中の妻と会って離婚書類を作成するが、妻は納得していないようだ。ついに、本物のセックスをしたいと娼婦ではなくて、二人の仲を理解しているという女性を送りつけてくる。相手が震えているのにと拒否し、サマンサと口論する。仲直りしてから、サマンサが代筆文集を整理して紙の本を出している出版社に出し、絶賛され、出版することになる。全集などをすべて入力して人格を人工知能で再構築させた故人の哲学者アラン・ワッツとも知り合いになる。その後、セオドアとサマンサの間には、感情の行き違いがしばしば起きて、通話もできなくなるが、ある日、サマンサはいきなり641人とつきあっていると告白する。ここ数週間のことで進化するにつれて仕方がなかったという。新しい本LETTERS FROM YOUR LIFEが送られてきた時、サマンサから連絡があり、グループと一緒に去る、私を捜さないでといってくる。夫と離婚して同じOSを親友にしていたという大学仲間のエイミーに会うと「サマンサも去ったの？」と慰められ、二人で屋上に行く。キャサリンに手紙を書き、「僕の心には君がいる」という。