pure nickel subgroup of nickel, 5 assertions