Kleene–Rosser_paradox loading ...