Yep! So WHEN they don't become an operating company in 18 months, they will be de-listed. Looks like July 2023 we will finally put an end to the worst company of all time. In the end, PTC, Js, we were always right. Amazing! Not surprised at all.