bit more exploration of problematic cheat in exp_to_exh_correct

It seems false to me, but there could be a much more complicated way
it's true. But I think the value relation probably needs fixing instead.