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