\v=30
\v~=Die er aber zuvorbestimmt hat, diese hat er auch berufen; und die er berufen hat, diese hat er auch gerechtfertigt; die er aber gerechtfertigt hat, diese hat er auch verherrlicht.
\¬v
\¬p