copper pipe subgroup of pipe, 8 assertions