can value() return null here?