$TROY is now fully circulated, right? The extra ones are used to dump stocks, right? So it’s okay to open a short position, right?