 <span class="er">(</span><span class="ex">origin/start</span><span class="kw">)</span> <span class="ex">The</span> two woke up.</span></code></pre></div>
                  <p>時間は「下から上」に流れている。したがって、現在の歴史は</p>
                  <ol type="1">
                  <li>AliceとBobが目を覚ます</li>
                  <li>Aliceがアイスを確認する</li>
                  <li>Aliceがアイスが無くなっていることに気づく</li>
           