\v=30 \v~=And I beheld how that it joined the two \add other \add* heads with it. \¬v