internal contradiction subgroup of contradiction, 1 assertions