Girard's_paradox loading ...