Mere_addition_paradox loading ...