\v=20 \v~=Und alle Tage Jereds waren 962 Jahre, und er starb. \¬v \¬p