deleted z_nth_opt.v