This page has moved to /blog/2020/04/10/julia-property/.