Closure_operator loading ...