\v=17
\v~=Wenn aber Kinder, so auch Erben – Erben Gottes und Miterben Christi, wenn wir nämlich mitleiden, damit wir auch mitverherrlicht werden.
\¬v
\¬p