\p
\v=25
\v~=Then ran the one, and opened the garden door. 
\¬v
\¬p