<div dir="ltr"><div dir="ltr" class="gmail_msg"><div class="gmail_msg"><br></div></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word" class="gmail_msg"><div id="m_7396980298773936517bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px;color:rgba(0,0,0,1.0);margin:0px;line-height:auto" class="gmail_msg"><br class="gmail_msg"></div> I don’t read “<i class="gmail_msg">Guard that x is higher than 0 else … </i>”, but instead I read it like “<i class="gmail_msg">Guard! x must be higher than 0 else …</i>”.<div class="gmail_msg"><br class="gmail_msg"></div></div></blockquote><div><br></div><div>I see, yes I hadn&#39;t considered this interpretation...<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word" class="gmail_msg"><div class="gmail_msg"></div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">Probably adding a colon could make it more clear to the reader:</div><div class="gmail_msg"> <div id="m_7396980298773936517bloop_sign_1477413943997762048" class="m_7396980298773936517bloop_sign gmail_msg"></div> <div class="gmail_msg"><br class="gmail_msg"></div></div></div></blockquote><div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word" class="gmail_msg"><div class="gmail_msg"><div class="gmail_msg"></div>guard: x &gt; 0 else {</div><div class="gmail_msg">    return</div><div class="gmail_msg">}</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">But then we risk to add complexity to the syntax.</div></div></blockquote><div><br></div><div>I actually like this better than ensure - it makes a lot of sense. It would also force the second interpretation as you mentioned above. If &#39;guard&#39; was simply renamed to &#39;guard:&#39; (or depending on how you look at it, required to have a colon after it), how would it complicate the syntax?<br></div><div class="gmail_msg"> </div><br></div></div>