Edit: Interestingly the argument is the antithesis of the contradiction!
Reply on news.ycombinator.com