Richard's_paradox loading ...