pure iron subgroup of iron, 6 assertions