iterated inference, discarding the original step works too.

I suspect this may never narrow the lifted intervals, however.
also works with wiggle added outside of division instead of inside.