\c=1 \p \c#=1 \v=1 \v~=There dwelt a man in Babylon, called Joacim: \¬v \¬p