high porosity subgroup of porosity, 4 assertions