seamless pipe subgroup of pipe, 3 assertions