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