Kuratowski's_closure-complement_problem loading ...