and(u, not(u)