title: First Alloy model on Software Abstracts, showing different view
body: <p>I'm starting to study Alloy with the first edition of <em>Software Abstractions</em>, and in the first example, at the point 2.1 of the book, the book shows a different simulation of the one I'm seeing with the Alloy4.2</p>
  
  <p>I'm using a Alloy Analyzer 4.2 on macOS 10.12.5</p>
  
  <p>The simulation I'm getting on the execution is this one: <a href="https://puu.sh/w0Tp4/be9c6da0a8.png" rel="nofollow noreferrer">https://puu.sh/w0Tp4/be9c6da0a8.png</a></p>