<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 19 May 2016 at 03:18, Tony Anderson <span dir="ltr"><<a href="mailto:tony_anderson@usa.net" target="_blank">tony_anderson@usa.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Most of the rest is implicit </blockquote></div><br>I think there is no hard at all in making what is implicit explicit; to leave things implicit simplifies the text, but complicates the execution. 
</div></div>