I guess we can assume you will be selling all your RGX shares Monday morning?