If the bankruptcy court liquidates EOSPN, is it clear that the proceeds go to the holders of EOSPN instead of the Lehman estate? I assume that would be the case but just wanted to make sure.