Unfolded min and if with Ackermann representations, still having a hard time getting it to decrease on fix