and(not(u), not(not(u))