Infinitary_logic loading ...