Hardy's_paradox loading ...