Interesting_number_paradox loading ...