negation, explicit notation