Talk:World 3/@comment-27662847-20171110022249/@comment-27662847-20171110025005

Unless branching rules confused me, it won't be a problem then.