\v=4
\v~=And Abraam circumcised Isaac on the eighth day, as God commanded him. 
\¬v