As attested by this: http://lambda-the-ultimate.org/node/3465 and the author's own intervention in these comments.