¡Otra victoria para la comunidad! 🎯 Felicitaciones a @NalaZendaya por descubrir un error de gravedad media utilizando el Prover de Certora.