\p
\v=11
\v~=Sihon, den König der Amoriter, und Og, den König von Basan, und alle Königreiche Kanaans;
\¬v
\¬p