Talk:Depths of Dimensions/Part 1?/@comment-27984457-20190716091250/@comment-32220816-20190716153540

We just need to finish SR, but for that, we either need to devise a plan to work around Julia or wait for her.