and(u, not(u))