\v=4 \v~=et Judam, qui vocabatur Machabæus: \¬v