Entonces, ¿DoubleZero ya se está lanzando a 7.5 FDV con aproximadamente un tercio del suministro ya desbloqueado?