Out of curiosity, how much did you sell it for? And can you share some details how your side project had been valued to derive the final sale price?