Remaining element of state before extraction