He did some calculations, taking the amount of rock