mig welder subgroup of welder, 2 assertions