This post has moved to https://tau.gr/archive/posts/2019-06-27-secret-box/.