yes, but it's for WFMC shares, isn't it? how do they get to determine the selling price? doesn't the market do that?