implemented constant and ones using unfold.