rework current reduction rules to use montex

make sure they correctly track solution and k