let graph_exploration ()    = !graph_exploration_opt