<div dir="ltr">Hi Brian<div><br></div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><span style="font-size:12.800000190734863px"><font face="courier new, monospace">r >= 0 && r <= 4 && c >= 0 && c <= r</font></span></div>

</blockquote><div><span style="font-family:arial,sans-serif;font-size:12.800000190734863px"><br></span></div><div><span style="font-family:arial,sans-serif;font-size:12.800000190734863px">implies</span></div><div><span style="font-family:arial,sans-serif;font-size:12.800000190734863px"><br>

</span></div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><span style="font-size:12.800000190734863px"><font face="courier new, monospace">0 <= c <= r <= 4</font></span></div></blockquote><div>

<span style="font-family:arial,sans-serif;font-size:12.800000190734863px"><br></span></div><div><span style="font-family:arial,sans-serif;font-size:12.800000190734863px">Or  using prefix and the variable-arity of <=:</span></div>

<div><span style="font-family:arial,sans-serif;font-size:12.800000190734863px"><br></span></div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><div style><font face="courier new, monospace">(define (is-pos r c)</font></div>

</div><div><div style><span style="font-family:'courier new',monospace">  (<= 0 c r 4))</span></div></div></blockquote><div class="gmail_extra"><br>which I think works well for clarity, concision, and efficiency.</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">Dan<br><div class="gmail_quote"><br></div><div dir="ltr"></div>
</div></div>