$TROY já está em plena circulação, certo? Os extras estão à venda, certo? Portanto, não há problema em operar vendido, certo?