insulated wire subgroup of wire, 6 assertions