Talk:Girard's paradox