solved with unfolding