\q2
\v=18
\v~=ambayo yamejulikana tangu zamani.
\¬v
\¬q2