Fredkin's_paradox loading ...