some work on exp_to_exh_correct