\v=12
\v~=Blessed is he who waits and comes to the one thousand three hundred thirty-five days. 
\¬v
\¬p