extract value has certain assumptions