implemented restrictive coverage NOT(a)U(b)