and(w, not(w)