let
path_opt_good cave path = path_opt cave path path_opt_good_foundf