and(not(not(v)), not(not(not(v)))