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