|(DUG~b&DUG~b)x1(N58)|