When I thought that the post was good and the boyanometer was silent, but they threw a proof in the comments