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