wall thickness subgroup of thickness, 7 assertions