\q1
\v=5
\v~=For no king had a different beginning, 
\¬v
\¬q1