\q1
\v=25
\v~=Good things are created from the beginning for the good; 
\¬q1
\q1
\p~<<q1=So are evil things for sinners. 
\¬q1
\¬v