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