pure carbon subgroup of carbon, 2 assertions