On 12/31/16 9:43 AM, Timon Gehr wrote: > On an unrelated note: I'm still not a fan of the with(import) syntax as > it morally promotes a lack of turtles (even if not technically so). Could you please provide more detail? Thanks! -- Andrei