let show_estimate ()   = !show_estimate_opt