Related /r/math/ discussion: https://old.reddit.com/r/math/comments/1vj9fm8/hrt_conjectur...