Thread:The JoTS/@comment-35252845-20180531211411/@comment-34773789-20180531215620

It's been deleted already.