non-exponential complement conjunction