and(not(w), not(not(w)))