title: Not understanding The Reasoned Schemer Chapter 5 frame 62
body: <p>I am currently learning miniKanren by learning The Reasoned Schemer.</p>
  
  <p>And I am stuck in an exercise in Chapter 5 frame 62: <code>(run* (x) (flatten_o (a) x))</code>, why there are three lists in output?</p>