‘Who are you O great mountain? Before Zerubbabel you will become level ground, and he will bring out the top stone amid the shouts of “Grace, grace to it!” ’ ”