vvnot ( 1 *.