Borel's_paradox loading ...