simple example with unfolding