unfolding should be closer to a correct version