On Thu, 18 May 2017 19:53:34 -0700, Ori Bernstein wrote: > Of course, the original answer removes the need for this question, > since it handles that case as well. My answer is indeed careful to address that point.