\b \q1 \v=11 \v~=How shall we magnify Zerubbabel? \¬q1 \q1 \p~<