That number sounds nuts but it only adds up to 20 million tonnes. Actually, that sounds even more nuts. But if you can grab the 20 million tons from asteroids,

That number sounds nuts but it only adds up to 20 million tonnes. Actually, that sounds even more nuts. But if you can grab the 20 million tons from asteroids, maybe it's achievable.