W. Wallis, “How many raindrops to fill the Atlantic Ocean?”, JIST, vol. 11, Apr. 2024.