\v=12
\v~=\f + \fr 25.12  \ft  \f* 
\¬v
\¬q2
\p
\¬p