A miracle in stone, or, The great pyramid of Egypt