Dichotomy_paradox loading ...