Constant using unfold.