metal alloy subgroup of alloy, 3 assertions