double negation subgroup of negation, 1 assertions