produces ex value