Skolem's_paradox loading ...