Girard's paradox