Domknięcie_Kleene'ego loading ...