Một thắng lợi nữa cho cộng đồng! 🎯 Chúc mừng @NalaZendaya đã phát hiện một lỗi mức độ trung bình bằng cách sử dụng Prover của Certora.