Finitary_closure_operator loading ...