“Who are you, O great mountain? Before Zerubbabel you will be made level ground, and he will bring out the top stone amidst shouting of ‘Grace! Grace to the stone!’ ”