�───┼─────┼─────┼─────┼─────┤
│   Cons 1 │ 0 │   1 │   2 │   3 │   1 │
│   Cons 2 │ 0 │   4 │   5 │   6 │   2 │
└──────────┴───┴─────┴─────┴─────┴─────┘</code></pre><p>Notice that the third constraint has been (silently) removed.</p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../">« Overview</a><a class="docs-footer-