example of an example with a bit more structure. Specifically,
    the example has a <code class="code-inline tex2jax_ignore">title</code>, as
    usual, but then has a
    <code class="code-inline tex2jax_ignore">statement</code>, which is separate
    from the <code class="code-inline tex2jax_ignore">solution</code>. Why did
    we implement an example in two ways?
  </div>
  <div class="solution solution-like" id="solution-1">
    <h4 class="heading">
      <span class="type">Solution</span><span class="